diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 42407a364d7b37e5601900e69243bb7ca17d8048..50665ca7a0bbd2ddbc91bd338c194beb5a4382a2 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -16,7 +16,7 @@ iris_atomic-coq8.5.3:
   - master
   - ci
 
-iris-coq8.6:
+iris_atomic-coq8.6:
   tags:
   - coq
   script: