Commit a8e8ebf3 authored by Ralf Jung's avatar Ralf Jung

test Coq 8.12.0 and deny warnings

parent cedd5018
Pipeline #33595 passed with stage
in 27 minutes and 22 seconds
......@@ -27,10 +27,11 @@ variables:
## Build jobs
build-coq.8.12.dev:
build-coq.8.12.0:
<<: *template
variables:
OPAM_PINS: "coq version 8.12.dev"
OPAM_PINS: "coq version 8.12.0"
DENY_WARNINGS: "1"
build-coq.8.11.2:
<<: *template
......
......@@ -6,7 +6,7 @@ This is a separation logic for [ORC11] based on [iGPS] and [FSL]. It has been re
This version is known to compile with:
- Coq 8.11.2
- Coq 8.11.2 / 8.12.0
- A development version of [ORC11] and [Iris]. See the [opam](opam) file for the exact
version.
......
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