.gitlab-ci.yml 419 Bytes
Newer Older
1 2 3 4
# Taken from https://gitlab.com/erikmd/docker-coq-gitlab-ci-demo-1/blob/master/.gitlab-ci.yml

.build:
  stage: build
5
  image: mathcomp/mathcomp:${CI_JOB_NAME}
6 7 8 9 10
  script:
    - ./create_makefile.sh
    - make -j ${NJOBS}
    - make validate

11
1.8.0-coq-8.8:
12 13
  extends: .build

14
1.9.0-coq-8.9:
15 16
  extends: .build

17 18
1.9.0-coq-dev:
  extends: .build
19 20
  # it's ok to fail with an unreleased version of Coq
  allow_failure: true