diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 3597af1a4cae78af7ca68d0ea5d663c1ca38507d..9a6f76cc809c7af637af23c146815b4f5a3a32ab 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -31,11 +31,6 @@ build-coq.8.12.0:
   <<: *template
   variables:
     OPAM_PINS: "coq version 8.12.0"
-
-build-coq.8.11.2:
-  <<: *template
-  variables:
-    OPAM_PINS: "coq version 8.11.2"
   tags:
   - fp-timing
 
diff --git a/README.md b/README.md
index 9c3f4160912b7c2abb6a9a694199415be141e10c..1a18da6b5d2e9c2b4c8b0eaaf85aad4248de13ed 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.11.2 / 8.12.0
+ - Coq 8.12.0
  - A development version of [GPFSL].
 
 The easiest way to install the correct versions of the dependencies is through