Commit ea89c0a4 authored by Ralf Jung's avatar Ralf Jung
Browse files

also build against Coq 8.6

parent cbf35dd5
Pipeline #3422 passed with stage
in 43 minutes and 25 seconds
......@@ -19,3 +19,20 @@ gps-coq8.5.3:
artifacts:
paths:
- coq/ra/build-time-full.txt
gps-coq8.6:
tags:
- coq
script:
# prepare
- cd coq
- . build/opam-ci.sh 'coq 8.6' 'coq-mathcomp-ssreflect dev'
# build
- 'time make -j8'
cache:
key: "coq8.6"
paths:
- coq/opamroot/
only:
- master
- opam-ci
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