diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d95897f6d5239df6d8ebeeb70af1f2e2875724d0..4cb682af020a9266e7cd04c93f6609cd8ae74ef5 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -53,11 +53,6 @@ build-coq.8.9.1:
   variables:
     OPAM_PINS: "coq version 8.9.1"
 
-build-coq.8.9.0:
-  <<: *template
-  variables:
-    OPAM_PINS: "coq version 8.9.0"
-
 build-coq.8.8.2:
   <<: *template
   variables:
diff --git a/README.md b/README.md
index 3ee86e6567e9795a43326feb3012b0bd693cde03..da76717369448e4c4ac455f66db036623666871d 100644
--- a/README.md
+++ b/README.md
@@ -45,7 +45,7 @@ Notably:
 
 This version is known to compile with:
 
- - Coq version 8.7.2 / 8.8.2 / 8.9.0 / 8.9.1 / 8.10.0 / 8.10.1
+ - Coq version 8.7.2 / 8.8.2 / 8.9.1 / 8.10.0 / 8.10.1
 
 ## Installing via opam