Newer
Older
- git clone https://gitlab.mpi-sws.org/iris/ci.git ci -b opam2
paths:
- opamroot/
only:
OPAM_PINS: "coq version 8.11.1"
build-coq.8.9.1:
<<: *template
variables:
OPAM_PINS: "coq version 8.9.1"
build-coq.8.8.2:
<<: *template
variables:
OPAM_PINS: "coq version 8.8.2"
build-coq.8.7.2:
OPAM_PINS: "coq version 8.7.2"