Commit 1c3ae5e3 authored by Janno's avatar Janno

Remove 8.8.0 build job.

parent d4b0dd63
......@@ -48,10 +48,10 @@ build-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.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
......
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