Skip to content
Snippets Groups Projects
Commit 745deb27 authored by Ralf Jung's avatar Ralf Jung
Browse files

test Coq 8.9.0 instead of 8.7.2

parent 617e2688
No related branches found
No related tags found
No related merge requests found
Pipeline #15193 failed
......@@ -32,24 +32,24 @@ build-coq.dev:
OCAML: "ocaml-base-compiler.4.07.0"
OPAM_PINS: "coq version dev"
build-coq.8.8.2:
build-coq.8.9.0:
<<: *template
variables:
OPAM_PINS: "coq version 8.8.2"
OPAM_PINS: "coq version 8.9.0"
OPAM_PKG: "coq-lambda-rust"
TIMING_CONF: "coq-8.8.2"
TIMING_CONF: "coq-8.9.0"
tags:
- fp-timing
build-coq.8.7.2:
build-coq.8.8.2:
<<: *template
variables:
OPAM_PINS: "coq version 8.7.2"
OPAM_PINS: "coq version 8.8.2"
build-iris.dev:
<<: *template
variables:
OPAM_PINS: "coq version 8.8.2 coq-stdpp.dev git git+https://gitlab.mpi-sws.org/iris/stdpp.git#$STDPP_REV coq-iris.dev git git+https://gitlab.mpi-sws.org/iris/iris.git#$IRIS_REV coq-orc11.dev git git+https://gitlab.mpi-sws.org/iris/orc11.git#$ORC11_REV coq-gpfsl.dev git git+https://gitlab.mpi-sws.org/iris/gpfsl.git#$GPFSL_REV"
OPAM_PINS: "coq version 8.9.0 coq-stdpp.dev git git+https://gitlab.mpi-sws.org/iris/stdpp.git#$STDPP_REV coq-iris.dev git git+https://gitlab.mpi-sws.org/iris/iris.git#$IRIS_REV coq-orc11.dev git git+https://gitlab.mpi-sws.org/iris/orc11.git#$ORC11_REV coq-gpfsl.dev git git+https://gitlab.mpi-sws.org/iris/gpfsl.git#$GPFSL_REV"
except:
only:
- triggers
......
......@@ -6,7 +6,7 @@ This is the Coq development accompanying RBrlx.
This version is known to compile with:
- Coq 8.7.2 / 8.8.2
- Coq 8.8.2 / 8.9.0
- A development version of [GPFSL].
The easiest way to install the correct versions of the dependencies is through
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment