Merge branch 'main' into toolchain-upgrade-2024-01-03

model-checking · Mar 1, 2024 · da1bdbf · da1bdbf
2 parents 2cd99c6 + fa9f61d
commit da1bdbf
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/dependabot.yml b/.github/dependabot.yml
@@ -9,3 +9,10 @@ updates:
  directory: "/"
  schedule:
  interval: "weekly"
+
+ - package-ecosystem: "gitsubmodule"
+ directory: "/"
+ allow:
+ - dependency-name: "tests/perf/s2n-quic"
+ schedule:
+ interval: "weekly"