chore: CI: adjust Dependabot prefix

leanprover · Nov 5, 2024 · 75602f7 · 75602f7
1 parent 0fd90c1
commit 75602f7
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/dependabot.yml b/.github/dependabot.yml
@@ -3,4 +3,6 @@ updates:
   - package-ecosystem: "github-actions"
     directory: "/"
     schedule:
-      interval: "monthly"
+      interval: "monthly"
+    commit-message:
+      prefix: "chore: CI"