Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
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.
- Loading branch information