Commit 3fee8457 authored by Your Name's avatar Your Name

Add CI for Coq 8.8.1.

parent 93e93a80
......@@ -5,7 +5,8 @@ stages:
variables:
CPU_CORES: "10"
MTAC2_COMMIT: "45d249a111c506b2c9a3374a171217f06cacf7de"
MTAC2_87_COMMIT: "45d249a111c506b2c9a3374a171217f06cacf7de"
MTAC2_88_COMMIT: "7529ae7a78ff209f9cdf5cb1776d06088ca7170f"
GIT_SUBMODULE_STRATEGY: "recursive"
.template: &template
......@@ -26,22 +27,29 @@ variables:
- schedules
## Build jobs
#
#
build-coq.8.8.1:
<<: *template
variables:
OPAM_PINS: "coq version 8.8.1 coq-mtac.dev git https://github.com/Mtac2/Mtac2#$MTAC2_88_COMMIT"
TIMING_PROJECT: "iris"
TIMING_CONF: "coq-8.8.1"
tags:
- fp-timing
build-coq.8.7.2:
<<: *template
variables:
OPAM_PINS: "coq version 8.7.2 coq-mathcomp-ssreflect version 1.6.4 coq-mtac.dev git https://github.com/Mtac2/Mtac2#$MTAC2_COMMIT"
OPAM_PINS: "coq version 8.7.2 coq-mathcomp-ssreflect version 1.6.4 coq-mtac.dev git https://github.com/Mtac2/Mtac2#$MTAC2_87_COMMIT"
build-coq.8.7.1:
<<: *template
variables:
OPAM_PINS: "coq version 8.7.1 coq-mathcomp-ssreflect version 1.6.4 coq-mtac.dev git https://github.com/Mtac2/Mtac2#$MTAC2_COMMIT"
TIMING_PROJECT: "iris"
TIMING_CONF: "coq-8.7.1"
tags:
- fp-timing
OPAM_PINS: "coq version 8.7.1 coq-mathcomp-ssreflect version 1.6.4 coq-mtac.dev git https://github.com/Mtac2/Mtac2#$MTAC2_87_COMMIT"
build-coq.8.7.0:
<<: *template
variables:
OPAM_PINS: "coq version 8.7.0 coq-mathcomp-ssreflect version 1.6.4 coq-mtac.dev git https://github.com/Mtac2/Mtac2#$MTAC2_COMMIT"
OPAM_PINS: "coq version 8.7.0 coq-mathcomp-ssreflect version 1.6.4 coq-mtac.dev git https://github.com/Mtac2/Mtac2#$MTAC2_87_COMMIT"
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