Commit fd6e6f17 authored by Zhen Zhang's avatar Zhen Zhang

Fix CI config

parent e8edac3b
Pipeline #3556 passed with stage
in 32 minutes and 14 seconds
image: ralfjung/opam-ci:latest image: ralfjung/opam-ci:latest
iris_atomic-coq8.5.3: iris_atomic-coq8.5.3:
tags:
- coq
script: script:
# prepare # prepare
- . build/opam-ci.sh 'coq 8.5.3' 'coq-mathcomp-ssreflect 1.6' - . build/opam-ci.sh 'coq 8.5.3' 'coq-mathcomp-ssreflect 1.6.1'
# build # build
- 'time make -j8' - 'time make -j8'
cache: cache:
key: "coq8.5" key: "coq8.5.3"
paths: paths:
- opamroot/ - opamroot/
only: only:
- master - master
- ci - ci
iris-coq8.6:
tags:
- coq
script:
# prepare
- . build/opam-ci.sh 'coq 8.6' 'coq-mathcomp-ssreflect 1.6.1'
# build
- 'time make -j8'
cache:
key: "coq8.6"
paths:
- opamroot/
only:
- master
- ci
- timing
((coq-mode . ((coq-prog-name . "/usr/local/bin/coqtop"))))
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