diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 31da8a1513c6cd0f2b396d6666db8a82c56751e3..cca9a2ec5336d8ec31055060d9947b93093eaf8e 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -47,11 +47,11 @@ build-coq.dev:
   variables:
     OPAM_PINS: "coq version dev"
 
-build-coq.8.17.0:
+build-coq.8.18.0:
   <<: *template
   variables:
     OCAML: "ocaml-variants.4.14.0+options ocaml-option-flambda"
-    OPAM_PINS: "coq version 8.17.0"
+    OPAM_PINS: "coq version 8.18.0"
     DENY_WARNINGS: "1"
     MANGLE_NAMES: "1"
     # Coq bench needs an opam package
@@ -60,11 +60,11 @@ build-coq.8.17.0:
   - fp-timing
 
 # Separate MR job that does not run on fp-timing.
-build-coq.8.17.0-mr:
+build-coq.8.18.0-mr:
   <<: *template
   <<: *only_mr
   variables:
-    OPAM_PINS: "coq version 8.17.0"
+    OPAM_PINS: "coq version 8.18.0"
     MANGLE_NAMES: "1"
     DENY_WARNINGS: "1"
 
@@ -72,7 +72,7 @@ trigger-iris.timing:
   <<: *template
   variables:
     OCAML: "ocaml-variants.4.14.0+options ocaml-option-flambda"
-    OPAM_PINS: "coq version 8.17.0   git+https://gitlab.mpi-sws.org/$IRIS_REPO#$IRIS_REV"
+    OPAM_PINS: "coq version 8.18.0   git+https://gitlab.mpi-sws.org/$IRIS_REPO#$IRIS_REV"
   tags:
   - fp-timing
   only: