.gitlab-ci.yml 537 Bytes
Newer Older
Jakob Botsch Nielsen's avatar
Jakob Botsch Nielsen committed
1
2
3
stages:
  - build

Jakob Botsch Nielsen's avatar
Jakob Botsch Nielsen committed
4
5
6
variables:
  GIT_SUBMODULE_STRATEGY: recursive

Jakob Botsch Nielsen's avatar
Jakob Botsch Nielsen committed
7
8
9
.build:
  stage: build
  image: coqorg/${CI_JOB_NAME}
Jakob Botsch Nielsen's avatar
Jakob Botsch Nielsen committed
10
11
  tags:
    - au
Jakob Botsch Nielsen's avatar
Jakob Botsch Nielsen committed
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
  before_script:
    - if [ -n "${COMPILER_EDGE}" ]; then opam switch ${COMPILER_EDGE} && eval $(opam env); fi
    - opam update -y
    - opam config list
    - opam repo list
    - opam list
  script:
    - sudo chown -R coq:coq "$CI_PROJECT_DIR"
    - make

coq:8.6:
  extends: .build

coq:8.7:
  extends: .build

coq:8.8:
  extends: .build

coq:8.9:
  extends: .build

coq:dev:
  extends: .build