Update dependabot.yml to update coq-8.18

MetaCoq · Nov 28, 2023 · ef846e1 · ef846e1
1 parent 7006c4e
commit ef846e1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/dependabot.yml b/.github/dependabot.yml
@@ -19,7 +19,7 @@ updates:
       - "dependencies"
   - package-ecosystem: "github-actions"
     directory: "/"
-    target-branch: "coq-8.17"
+    target-branch: "coq-8.18"
     schedule:
       # Check for updates to GitHub Actions every weekday
       interval: "daily"