From 5718cc263d9c94be29d9f7746fac62ac2c65269c Mon Sep 17 00:00:00 2001 From: "temper-pulseengine[bot]" <261584866+temper-pulseengine[bot]@users.noreply.github.com> Date: Sat, 25 Apr 2026 23:52:47 +0000 Subject: [PATCH] Update Dependabot configuration --- .github/dependabot.yml | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 .github/dependabot.yml diff --git a/.github/dependabot.yml b/.github/dependabot.yml new file mode 100644 index 0000000..333b829 --- /dev/null +++ b/.github/dependabot.yml @@ -0,0 +1,33 @@ +version: 2 +updates: + - package-ecosystem: github-actions + directory: / + schedule: + interval: weekly + labels: &ref_0 + - dependencies + - package-ecosystem: cargo + directory: / + schedule: + interval: weekly + labels: *ref_0 + - package-ecosystem: cargo + directory: /meld-cli + schedule: + interval: weekly + labels: *ref_0 + - package-ecosystem: cargo + directory: /meld-core + schedule: + interval: weekly + labels: *ref_0 + - package-ecosystem: cargo + directory: /tools/spec-sync + schedule: + interval: weekly + labels: *ref_0 + - package-ecosystem: cargo + directory: /verification/verus-pilot + schedule: + interval: weekly + labels: *ref_0