diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8e4adcbd5c49b5c9e3ee61f6d55471976c4d99c6..b1610472b1ae5a2f4e7a6007322bfa1fd4d2a442 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -30,7 +30,7 @@ variables:
 ## Build jobs
 
 # build against known-working Coq 8.20.0
-build-coq.8.19.2:
+build-coq.8.20.0:
   <<: *template
   variables:
     OPAM_PINS: "coq version 8.20.0"