Newer
Older
- git clone https://gitlab.mpi-sws.org/FP/iris-ci.git ci -b opam2
paths:
- opamroot/
only:
- master
build-coq.8.8.1:
<<: *template
variables:
OPAM_PINS: "coq version 8.8.1"
OPAM_PKG: "coq-stdpp"
DOC_DIR: "coqdoc@center.mpi-sws.org:stdpp"
TIMING_PROJECT: "stdpp"
TIMING_CONF: "coq-8.8.0"
tags:
- fp-timing
build-coq.8.7.2:
OPAM_PINS: "coq version 8.7.2"
build-coq.8.7.1:
<<: *template
variables:
OPAM_PINS: "coq version 8.7.1"
<<: *template
variables: