Commit 6c065d67 authored by Ralf Jung's avatar Ralf Jung

ssreflect 1.6.4

parent 8ad4065f
Pipeline #5293 passed with stages
in 19 minutes and 38 seconds
......@@ -43,14 +43,14 @@ opam:
build-coq.8.7.0:
<<: *template
variables:
OPAM_PINS: "coq version 8.7.0 coq-mathcomp-ssreflect version 1.6.2"
OPAM_PINS: "coq version 8.7.0 coq-mathcomp-ssreflect version 1.6.4"
except:
- triggers
build-coq.8.6.1:
<<: *template
variables:
OPAM_PINS: "coq version 8.6.1 coq-mathcomp-ssreflect version 1.6.2"
OPAM_PINS: "coq version 8.6.1 coq-mathcomp-ssreflect version 1.6.4"
VALIDATE: "1"
artifacts:
paths:
......
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