Skip to content

Commit

Permalink
Update s2n-quic submodule weekly through dependabot (rust-lang#3053)
Browse files Browse the repository at this point in the history
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
zhassan-aws committed Mar 1, 2024
1 parent aaef7c7 commit fa9f61d
Showing 1 changed file with 7 additions and 0 deletions.
7 changes: 7 additions & 0 deletions .github/dependabot.yml
Original file line number Diff line number Diff line change
Expand Up @@ -9,3 +9,10 @@ updates:
directory: "/"
schedule:
interval: "weekly"

- package-ecosystem: "gitsubmodule"
directory: "/"
allow:
- dependency-name: "tests/perf/s2n-quic"
schedule:
interval: "weekly"

0 comments on commit fa9f61d

Please sign in to comment.