diff --git a/.github/dependabot.yml b/.github/dependabot.yml new file mode 100644 index 0000000..fc46eba --- /dev/null +++ b/.github/dependabot.yml @@ -0,0 +1,38 @@ +version: 2 +updates: + - package-ecosystem: github-actions + directory: / + schedule: + interval: weekly + labels: + - dependencies + - package-ecosystem: cargo + directory: / + schedule: + interval: weekly + labels: + - dependencies + - package-ecosystem: cargo + directory: /ffi + schedule: + interval: weekly + labels: + - dependencies + - package-ecosystem: cargo + directory: /fuzz + schedule: + interval: weekly + labels: + - dependencies + - package-ecosystem: cargo + directory: /tools/verus-strip + schedule: + interval: weekly + labels: + - dependencies + - package-ecosystem: cargo + directory: /docs/research/sem-full-rust-poc + schedule: + interval: weekly + labels: + - dependencies