Merge pull request #3 from tchajed/test-released-iris

Enable testing release version of Iris

Author: tchajed

.github/workflows/build.yml

@@ -34,16 +34,15 @@ jobs:
             startGroup "Print opam config"
               opam config list; opam repo list; opam list
             endGroup
-  ## restore this job once Iris 4.2.0 is released
-  # build-release:
-  #   name: build (released iris, coq dev)
-  #   runs-on: ubuntu-latest
-  #   steps:
-  #     - uses: actions/checkout@v4
-  #     - uses: coq-community/docker-coq-action@v1
-  #       with:
-  #         opam_file: "iris-simp-lang.opam"
-  #         coq_version: "dev"
+  build-release:
+    name: build (released iris, latest coq)
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: coq-community/docker-coq-action@v1
+        with:
+          opam_file: "iris-simp-lang.opam"
+          coq_version: "latest"
 
 # See also:
 # https://github.com/coq-community/docker-coq-action#readme

README.md

@@ -53,8 +53,8 @@ There are a few files that are optional reading which make the tutorial work:
 ## Compiling
 
 This development relies on a development version of Iris and Coq 8.18 or later.
-We test 8.18, 8.19, and master with Iris dev in CI. (The released
-version of Iris is currently incompatible.)
+We test 8.18, 8.19, and master with Iris dev in CI, as well as the released
+version of Iris.
 
 You'll need to install Iris, which is easiest done through opam. There are
 installation instructions at https://gitlab.mpi-sws.org/iris/iris.