diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 754a49bdc27c72fd6c9afe40eec85b765113e89f..e2cd966c30822792eda7ac7cbdf4f7127004c750 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"
     MANGLE_NAMES: "1"
   tags:
diff --git a/README.md b/README.md
index 0f7408537c71f201c4f7ebb51ea1b966c40919f2..8d124b29f73eb42e77867e06807c5066411fc5d1 100644
--- a/README.md
+++ b/README.md
@@ -6,7 +6,7 @@ This is the Coq development accompanying RBrlx.
 
 This version is known to compile with:
 
- - Coq 8.17.0
+ - Coq 8.18.0
  - A development version of [GPFSL].
 
 ## Building from source