diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 46cc1194a7bd6eff1cb4ebf2139996c4061a2dd3..7097a6082766dd316146ed0bea2f2f209e4ad301 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -96,7 +96,7 @@ trigger-stdpp.dev-coq.8.14.1:
   - api
 
 # Nightly job with latest Coq branch
-trigger-stdpp.dev-coq.8.14.dev:
+trigger-stdpp.dev-coq.dev:
   <<: *template
   variables:
     STDPP_REPO: "iris/stdpp"