diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7e08d5b22d40fdd37065ce8d7cb9a83ddc5c1e7a..fb0c9775fc3ec3b5b145036d24090e2cfb20ee85 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -57,10 +57,10 @@ build-coq.8.7.dev:
   except:
   - triggers
 
-build-coq.8.7:
+build-coq.8.7.0:
   <<: *template
   variables:
-    OPAM_PINS: "coq version 8.7   coq-mathcomp-ssreflect version 1.6.2"
+    OPAM_PINS: "coq version 8.7.0   coq-mathcomp-ssreflect version 1.6.2"
   except:
   - triggers