diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8b763acf0e604bdc10babb8cdcbda26851e2d110..aff875c8456b6f82d3ec57c82660a1ded4b18724 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -35,7 +35,7 @@ build-coq.dev:
 build-coq.8.12.0:
   <<: *template
   variables:
-    OPAM_PINS: "coq version 8.11.2"
+    OPAM_PINS: "coq version 8.12.0"
     OPAM_PKG: "coq-lambda-rust"
     DENY_WARNINGS: "1"
   tags: