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

.build:
  stage: build
  image: coqorg/${CI_JOB_NAME}
Jakob Botsch Nielsen's avatar
Jakob Botsch Nielsen committed
7
  tags: au
Jakob Botsch Nielsen's avatar
Jakob Botsch Nielsen committed
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
  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.4:
  extends: .build

coq:8.5:
  extends: .build

coq:8.6:
  extends: .build

coq:8.7:
  extends: .build

coq:8.8:
  extends: .build

coq:8.9:
  extends: .build

coq:dev:
  extends: .build