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