diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index e995536563b7505adb57431e84897a0fa134aa12..bd2d52cc1186c2125c41c237e41279a2d8841375 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -35,7 +35,7 @@ build-coq.8.13.0:
   tags:
   - fp-timing
 
-build-iris.dev:
+trigger-iris.dev:
   <<: *template
   variables:
     STDPP_REPO: "iris/stdpp"