diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6ff8c238b7c0b962002cef90e48aaa8f70927b98..3a39912424947ca25b98398c2f3596139a7df97a 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -28,11 +28,10 @@ variables:
 
 ## Build jobs
 
-build-coq.8.18.0:
+build-coq.8.20.0:
   <<: *template
   variables:
-    OPAM_PINS: "coq version 8.18.0"
-    DENY_WARNINGS: "1"
+    OPAM_PINS: "coq version 8.20.0"
     OPAM_PKG: "1"
   tags:
   - fp-timing