.gitlab-ci.yml 1.81 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: "1dd9ff4810d5044f9bce2418a7f7f6c01703672d"
9
  MTAC2_88_COMMIT: "a607c93656f046066a4ea45b2b5e7bf1816f3fe6"
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:
Ralf Jung's avatar
Ralf Jung committed
16
  - git clone https://gitlab.mpi-sws.org/iris/ci.git ci -b opam2
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
  - schedules
Ralf Jung's avatar
Ralf Jung committed
28
  - api
Ralf Jung's avatar
Ralf Jung committed
29 30

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

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

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

Janno's avatar
Janno committed
55 56 57 58
build-coq.8.7.2:
  <<: *template
  variables:
    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
59

60 61 62
# build-coq.8.7.1:
#   <<: *template
#   variables:
63
#     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"
64 65 66 67
# 
# build-coq.8.7.0:
#   <<: *template
#   variables:
68
#     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"