diff options
| author | Erik Martin-Dorel | 2020-10-12 13:48:55 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 2020-10-12 13:48:55 +0200 |
| commit | 8338973e2741baf7f9bbfd3bbcf5982c3963830c (patch) | |
| tree | 64b32d2dd16dce4cbd25a9e0fd16caef66ffa11a /.gitlab-ci.yml | |
| parent | ed3d822bc5a1c3759140b7fd7567f2b4278ae0be (diff) | |
feat: Update only/except rules
* Use only:refs, except:refs (available since GitLab 10.0)
* Add except:variables/($CRON_MODE == "nightly")
so coqbot can trigger the jobs currently chosen for scheduled pipelines,
with a regular pipeline on master with variable CRON_MODE := nightly
* Overall aim: rebuild coqorg/coq:dev & mathcomp/mathcomp-dev:coq-dev
on GitLab CI after each successful update of coq.dev, using coqbot.
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 62 |
1 files changed, 36 insertions, 26 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 99fe690..62b3eb6 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -47,9 +47,12 @@ stages: script: - docker build -f Dockerfile.make --pull --build-arg=coq_image="coqorg/coq:${COQ_VERSION}" -t "${IMAGE}" . except: - - tags - - merge_requests - - schedules + refs: + - tags + - merge_requests + - schedules + variables: + - $CRON_MODE == "nightly" make-coq-latest: extends: .make-build @@ -72,15 +75,19 @@ make-coq-latest: - docker push "${IMAGE}" - docker logout "${CI_REGISTRY}" except: - - tags - - merge_requests + refs: + - tags + - merge_requests .opam-build-once: extends: .opam-build except: - - tags - - merge_requests - - schedules + refs: + - tags + - merge_requests + - schedules + variables: + - $CRON_MODE == "nightly" coq-8.9: extends: .opam-build-once @@ -125,16 +132,20 @@ coq-dev: - cd mathcomp - make test-suite TEST_SKIP_BUILD=1 except: - - tags - - merge_requests + refs: + - tags + - merge_requests # run "make test-suite" only for push pipelines (not for scheduled pipelines) .test-once: extends: .test except: - - tags - - merge_requests - - schedules + refs: + - tags + - merge_requests + - schedules + variables: + - $CRON_MODE == "nightly" test-coq-dev: extends: .test @@ -188,9 +199,12 @@ test-coq-8.9: - git rev-parse --verify HEAD - git describe --all --long --abbrev=40 --always --dirty except: - - tags - - merge_requests - - schedules + refs: + - tags + - merge_requests + - schedules + variables: + - $CRON_MODE == "nightly" # Guidelines to add a library to mathcomp CI: # - Add a hidden job (starting with a .) .ci-lib that extends the .ci job, @@ -207,10 +221,6 @@ test-coq-8.9: script: - make -j "${NJOBS}" - make install - except: - - tags - - merge_requests - - schedules ci-fourcolor-8.9: extends: .ci-fourcolor @@ -246,10 +256,6 @@ ci-fourcolor-dev: script: - make -j "${NJOBS}" - make install - except: - - tags - - merge_requests - - schedules ci-odd-order-8.9: extends: .ci-odd-order @@ -484,12 +490,16 @@ ci-fcsl-pcm-dev: - docker push "${HUB_IMAGE}" - docker logout "${HUB_REGISTRY}" only: - - master + refs: + - master .docker-deploy-once: extends: .docker-deploy except: - - schedules + refs: + - schedules + variables: + - $CRON_MODE == "nightly" mathcomp-dev:coq-8.9: extends: .docker-deploy-once |