diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 56781596e29adba3d02a5523fd51a9ff45831344..6ff8c238b7c0b962002cef90e48aaa8f70927b98 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -28,10 +28,10 @@ variables:
 
 ## Build jobs
 
-build-coq.8.17.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"
     OPAM_PKG: "1"
   tags:
diff --git a/README.md b/README.md
index 2f14b8c3f31be77f6108700d37a7ae4bccd97cb0..753255740ab9eaf2cc04c9f20f49086a28bd4638 100644
--- a/README.md
+++ b/README.md
@@ -10,7 +10,7 @@ the paper
 
 It has been built and tested with the following dependencies
 
- - Coq 8.17.0
+ - Coq 8.18.0
  - The version of Iris in the [opam file](opam)
 
 In order to build, install the above dependencies and then run