diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f37a553d3ae123db4f5765765b1aab6edc8045b3..081aaf86f22629bca985cd23303e920ee8c729db 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -23,7 +23,7 @@ iris-coq8.5.3:
     paths:
     - build-time.txt
 
-iris-coq8.6beta:
+iris-coq8.6:
   tags:
   - coq
   script: