test 8.17.0

.gitlab-ci.yml

@@ -44,10 +44,18 @@ variables:
 
 ## Build jobs
 
-build-coq.8.17.dev:
+build-coq.8.17.0:
   <<: *template
   variables:
-    OPAM_PINS: "coq version 8.17.dev"
+    OPAM_PINS: "coq version 8.17.0"
+
+build-coq.8.17.0-mr:
+  <<: *template
+  <<: *only_mr
+  variables:
+    OPAM_PINS: "coq version 8.17.0"
+    DENY_WARNINGS: "1"
+    MANGLE_NAMES: "1"
 
 build-coq.8.16.1:
   <<: *template
@@ -62,14 +70,6 @@ build-coq.8.16.1:
   - fp-timing
   interruptible: false
 
-build-coq.8.16.1-mr:
-  <<: *template
-  <<: *only_mr
-  variables:
-    OPAM_PINS: "coq version 8.16.1"
-    DENY_WARNINGS: "1"
-    MANGLE_NAMES: "1"
-
 build-coq.8.15.2:
   <<: *template
   variables:

README.md

@@ -45,7 +45,7 @@ Notably:
 
 This version is known to compile with:
 
- - Coq version 8.14.1 / 8.15.2 / 8.16.1
+ - Coq version 8.14.1 / 8.15.2 / 8.16.1 / 8.17.0
 
 Generally we always aim to support at least the last three stable Coq releases.