Enable dependabot (#2899)

Resolves: #2714 Co-authored-by: Ted Kaminski <tedinski@amazon.com>
model-checking · Nov 28, 2023 · 2288e46 · 2288e46
1 parent d371148
commit 2288e46
Showing 1 changed file with 21 additions and 0 deletions.
diff --git a/.github/dependabot.yml b/.github/dependabot.yml
@@ -0,0 +1,21 @@
+# Copyright Kani Contributors
+# SPDX-License-Identifier: Apache-2.0 OR MIT
+
+# https://docs.github.com/en/code-security/dependabot/dependabot-version-updates/configuration-options-for-the-dependabot.yml-file
+
+version: 2
+updates:
+ - package-ecosystem: "github-actions"
+ directory: "/"
+ schedule:
+ interval: "weekly"
+
+ - package-ecosystem: "cargo"
+ directory: "/"
+ schedule:
+ interval: "weekly"
+ groups:
+ cargo:
+ update-types:
+ - "minor"
+ - "patch"