diff --git a/.github/dependabot.yml b/.github/dependabot.yml
index ea49cfd2a..f1af69d98 100644
--- 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"