Commit fa9f61d
authored
Update s2n-quic submodule weekly through dependabot (#3053)
Use dependabot to update the `s2n-quic` submodule weekly (every Monday).
This is to avoid having to do this effort manually, and to guarantee
that none of the `s2n-quic` proofs break due to changes in Kani.
I've tested this in my own fork, and it seemed to work correctly.1 parent aaef7c7 commit fa9f61d
1 file changed
+7
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
9 | 9 | | |
10 | 10 | | |
11 | 11 | | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
0 commit comments