.gitlab-ci.yml 1.86 KB
Newer Older
1
image: ralfjung/opam-ci:opam2
Ralf Jung's avatar
Ralf Jung committed
2

3 4 5
stages:
  - build

Ralf Jung's avatar
Ralf Jung committed
6
variables:
Ralf Jung's avatar
Ralf Jung committed
7
  CPU_CORES: "10"
Janno's avatar
Janno committed
8
  MTAC2_87_COMMIT: "1894cfb678ad5766b66cf72f97953efcb017b0a2"
9
  MTAC2_88_COMMIT: "ef46cb8b5f7ff013df20996f4fd3cbea2d0fbc19"
Ralf Jung's avatar
Ralf Jung committed
10

11
.template: &template
12
  stage: build
Ralf Jung's avatar
Ralf Jung committed
13
  tags:
14
  - fp
Ralf Jung's avatar
Ralf Jung committed
15
  script:
Janno's avatar
Janno committed
16
  - git clone https://gitlab.mpi-sws.org/FP/iris-ci.git ci -b debug
Ralf Jung's avatar
Ralf Jung committed
17
  - ci/buildjob
Ralf Jung's avatar
Ralf Jung committed
18
  cache:
Ralf Jung's avatar
Ralf Jung committed
19
    key: "$CI_JOB_NAME-mtac2-tt"
Ralf Jung's avatar
Ralf Jung committed
20 21 22
    paths:
    - opamroot/
  only:
Janno's avatar
Janno committed
23
  - mtac2-tt
24
  - /^ci/
Ralf Jung's avatar
Ralf Jung committed
25 26
  except:
  - triggers
Ralf Jung's avatar
Ralf Jung committed
27 28 29
  - schedules

## Build jobs
Your Name's avatar
Your Name committed
30 31
#
#
Janno's avatar
Janno committed
32 33 34
build-coq.8.8.1-flambda:
  <<: *template
  variables:
Ralf Jung's avatar
Ralf Jung committed
35
    OCAML: "ocaml-variants.4.07.0+flambda"
36
    OPAM_PINS: "coq version 8.8.1   coq-mathcomp-ssreflect version 1.7.0   coq-mtac.dev git git+https://github.com/Mtac2/Mtac2#$MTAC2_88_COMMIT"
Janno's avatar
Janno committed
37 38 39 40
    TIMING_PROJECT: "iris"
    TIMING_CONF: "coq-8.8.1-ocaml-4.07.0+flambda"
  tags:
  - fp-timing
Your Name's avatar
Your Name committed
41 42 43 44

build-coq.8.8.1:
  <<: *template
  variables:
45
    OPAM_PINS: "coq version 8.8.1   coq-mathcomp-ssreflect version 1.7.0   coq-mtac.dev git git+https://github.com/Mtac2/Mtac2#$MTAC2_88_COMMIT"
Your Name's avatar
Your Name committed
46 47 48 49
    TIMING_PROJECT: "iris"
    TIMING_CONF: "coq-8.8.1"
  tags:
  - fp-timing
50

51
build-coq.8.8.0:
Ralf Jung's avatar
Ralf Jung committed
52 53
  <<: *template
  variables:
54
    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"
55

56
build-coq.8.7.2:
57 58
  <<: *template
  variables:
59
    OPAM_PINS: "coq version 8.7.2   coq-mathcomp-ssreflect version 1.6.4   coq-mtac.dev git git+https://github.com/Mtac2/Mtac2#$MTAC2_87_COMMIT"
Ralf Jung's avatar
Ralf Jung committed
60

61 62 63
# build-coq.8.7.1:
#   <<: *template
#   variables:
64
#     OPAM_PINS: "coq version 8.7.1   coq-mathcomp-ssreflect version 1.6.4   coq-mtac.dev git git+https://github.com/Mtac2/Mtac2#$MTAC2_87_COMMIT"
65 66 67 68
# 
# build-coq.8.7.0:
#   <<: *template
#   variables:
69
#     OPAM_PINS: "coq version 8.7.0   coq-mathcomp-ssreflect version 1.6.4   coq-mtac.dev git git+https://github.com/Mtac2/Mtac2#$MTAC2_87_COMMIT"