Commit a428389f authored by Ralf Jung's avatar Ralf Jung
Browse files

switch CI to Coq 8.13

parent 7d63210c
Pipeline #49492 passed with stage
in 18 minutes and 47 seconds
......@@ -27,11 +27,10 @@ variables:
## Build jobs
build-coq.8.12.0:
build-coq.8.13.2:
<<: *template
variables:
OPAM_PINS: "coq version 8.12.0"
DENY_WARNINGS: "1"
OPAM_PINS: "coq version 8.13.2"
trigger-iris.dev:
<<: *template
......
......@@ -10,7 +10,7 @@ the paper
It has been built and tested with the following dependencies
- Coq 8.12.0
- Coq 8.13.2
- The version of Iris in the [opam file](opam)
In order to build, install the above dependencies and then run
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment