diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 251ffadecb01875f3ea400fb5905371eff031a9b..13dc74322696a9c723cc33edd3e53756b50eae7f 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,13 +1,13 @@
 image: ralfjung/opam-ci:latest
 
-lrust-coq8.5.3:
+lrust-coq8.6:
   script:
   # prepare
-  - . build/opam-ci.sh 'coq 8.5.3' 'coq-mathcomp-ssreflect 1.6.1'
+  - . build/opam-ci.sh 'coq 8.6' 'coq-mathcomp-ssreflect 1.6.1'
   # build
   - 'time make -j8'
   cache:
-    key: "coq8.5.3-2"
+    key: "coq8.6"
     paths:
     - opamroot/
   only:
diff --git a/README.md b/README.md
index 08a97a7917a1e6a8beea132d6c9f79f3775c2858..9307af4c899bed6742a693e4a778cec21097993b 100644
--- a/README.md
+++ b/README.md
@@ -6,7 +6,7 @@ This is the Coq formalization of lambda-Rust.
 
 This version is known to compile with:
 
- - Coq 8.5pl3
+ - Coq 8.6
  - Ssreflect 1.6.1
  - A development version of [Iris](https://gitlab.mpi-sws.org/FP/iris-coq/)