bump to Coq 8.18 / 8.19

.gitlab-ci.yml

@@ -29,22 +29,16 @@ variables:
 
 ## Build jobs
 
-build-coq.8.18.0:
-  <<: *template
-  variables:
-    OPAM_PINS: "coq version 8.18.0"
-    DENY_WARNINGS: "1"
-
-build-coq.8.17.0:
+build-coq.8.19.0:
   <<: *template
   variables:
-    OPAM_PINS: "coq version 8.17.0"
+    OPAM_PINS: "coq version 8.19.0"
     DENY_WARNINGS: "1"
 
-build-coq.8.16.1:
+build-coq.8.18.0:
   <<: *template
   variables:
-    OPAM_PINS: "coq version 8.16.1"
+    OPAM_PINS: "coq version 8.18.0"
     DENY_WARNINGS: "1"
 
 trigger-iris.dev:

README.md

@@ -21,7 +21,7 @@ To log in, you need to [create an MPI-SWS GitLab account](https://gitlab.mpi-sws
 
 For the tutorial material you need to have the following dependencies installed:
 
-- Coq 8.16.1 / 8.17.0
+- Coq 8.18.0 / 8.19.0
 - A development version of [Iris](https://gitlab.mpi-sws.org/iris/iris)
 
 *Note:* the tutorial material will not work with earlier or later versions of