Commit d4bd08f6 authored by Jakob Botsch Nielsen's avatar Jakob Botsch Nielsen
Browse files

Add GitLab CI

parent ad05b0bf
Pipeline #10553 canceled with stage
stages:
- build
.build:
stage: build
image: coqorg/${CI_JOB_NAME}
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
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment