Commit 03e03b7f authored by Ralf Jung's avatar Ralf Jung

cleanup CI script

parent 32ed6a0c
Pipeline #18580 passed with stage
in 7 minutes and 45 seconds
......@@ -5,7 +5,6 @@ stages:
variables:
CPU_CORES: "10"
MTAC2_87_COMMIT: "1dd9ff4810d5044f9bce2418a7f7f6c01703672d"
MTAC2_88_COMMIT: "a607c93656f046066a4ea45b2b5e7bf1816f3fe6"
.template: &template
......@@ -20,7 +19,7 @@ variables:
paths:
- opamroot/
only:
- mtac2-tt
- master
- /^ci/
except:
- triggers
......@@ -28,8 +27,7 @@ variables:
- api
## Build jobs
#
#
build-coq.8.8.2-flambda:
<<: *template
variables:
......@@ -46,23 +44,3 @@ build-coq.8.8.2:
TIMING_CONF: "coq-8.8.2"
tags:
- fp-timing
# build-coq.8.8.0:
# <<: *template
# variables:
# OPAM_PINS: "coq version 8.8.0 coq-mathcomp-ssreflect version 1.7.0 coq-mtac.dev git git+https://github.com/Mtac2/Mtac2#$MTAC2_88_COMMIT"
# 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 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 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 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