.gitlab-ci.yml 307 Bytes
Newer Older
Ralf Jung's avatar
Ralf Jung committed
1
image: ralfjung/opam-ci:latest
Ralf Jung's avatar
Ralf Jung committed
2

Ralf Jung's avatar
Ralf Jung committed
3 4 5
variables:
  CPU_CORES: "9"

Ralf Jung's avatar
Ralf Jung committed
6
iris_atomic-coq8.6:
Zhen Zhang's avatar
Zhen Zhang committed
7
  tags:
Ralf Jung's avatar
Ralf Jung committed
8
  - fp-timing
Zhen Zhang's avatar
Zhen Zhang committed
9 10
  script:
  # prepare
Ralf Jung's avatar
Ralf Jung committed
11
  - . build/opam-ci.sh coq 8.6 coq-mathcomp-ssreflect 1.6.1
Zhen Zhang's avatar
Zhen Zhang committed
12
  # build
Ralf Jung's avatar
Ralf Jung committed
13
  - 'time make -j$CPU_CORES'
Zhen Zhang's avatar
Zhen Zhang committed
14 15 16 17 18 19
  cache:
    key: "coq8.6"
    paths:
    - opamroot/
  only:
  - master
Ralf Jung's avatar
Ralf Jung committed
20
  - /^ci/