diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 4d6936e2fb4d948242689f31f30cea237aba62f3..cf488e1fd76d4bb7f936c3a9b0471f12a75e84c8 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -28,7 +28,7 @@ variables:
 
 ## Build jobs
 
-build-coq.8.19.1:
+build-coq.8.20.1:
   <<: *template
   variables:
     OPAM_PINS: "coq version 8.20.1"