chore: CI: check for GitHub Actions updates once per month (#5954)

leanprover · Nov 5, 2024 · 0fd90c1 · 0fd90c1
1 parent 128b049
commit 0fd90c1
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/dependabot.yml b/.github/dependabot.yml
@@ -0,0 +1,6 @@
+version: 2
+updates:
+  - package-ecosystem: "github-actions"
+    directory: "/"
+    schedule:
+      interval: "monthly"