diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index bb58299a9bfdc0b4b5e562ba72eeb3a132e5448f..4f1a600aac7397dac163751060473bdcafe71588 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -29,11 +29,11 @@ variables:
 
 ## Build jobs
 
-# build against known-working Coq 8.17.0
-build-coq.8.17.0:
+# build against known-working Coq 8.18.0
+build-coq.8.18.0:
   <<: *template
   variables:
-    OPAM_PINS: "coq version 8.17.0"
+    OPAM_PINS: "coq version 8.18.0"
     DENY_WARNINGS: "1"
     #MANGLE_NAMES: "1"
     #OPAM_PKG: "1"
@@ -44,7 +44,7 @@ build-iris.dev:
   variables:
     STDPP_REPO: "iris/stdpp"
     IRIS_REPO: "iris/iris"
-    OPAM_PINS: "coq version 8.17.dev   git+https://gitlab.mpi-sws.org/$STDPP_REPO#$STDPP_REV   git+https://gitlab.mpi-sws.org/$IRIS_REPO#$IRIS_REV"
+    OPAM_PINS: "coq version 8.18.dev   git+https://gitlab.mpi-sws.org/$STDPP_REPO#$STDPP_REV   git+https://gitlab.mpi-sws.org/$IRIS_REPO#$IRIS_REV"
   except:
   only:
   - triggers