diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 06c9efd98cc4cec9082d8a845b01ab9e697e0981..e8ebecfac6c4c0883ebfb7b0a7ca1892980b61d2 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -23,7 +23,7 @@ variables:
   - master
   - /^ci/
 
-iris_atomic-coq8.6.1:
+iratomic-coq8.6.1:
   <<: *template
   variables:
     COQ_VERSION: "8.6.1"