diff options
| author | Erik Martin-Dorel | 2019-07-30 16:49:28 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 2019-07-30 16:56:45 +0200 |
| commit | 5bccaf10977a1cb86e00fc2e986bfbe1ac86ad1b (patch) | |
| tree | 19b4cd5a8dabf4f305451a3b95501942c791cbb5 | |
| parent | d5ac333d1ee1b4f3a8d38dc0238c661dcc4a89f7 (diff) | |
[ci] Adapt the GitLab CI config to allow scheduled builds for coq-dev
* Normal builds (branches & GitHub PRs) are not impacted
* Triggering a scheduled pipeline will only run {coq-dev, mathcomp-dev:coq-dev}
to build and deploy the corresponding image to mathcomp/mathcomp-dev:coq-dev.
* href: https://docs.gitlab.com/ce/user/project/pipelines/schedules.html
| -rw-r--r-- | .gitlab-ci.yml | 27 |
1 files changed, 20 insertions, 7 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index f66232e..5000e5b 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -4,11 +4,12 @@ # (Dockerfile containing: "opam switch set $compiler && eval $(opam env)") # - all branches (not tags) => push on GitLab registry # - GitHub PRs => push on GitLab and report back thanks to @coqbot -# - test stage (image: mathcomp-dev:$IID_$SLUG_coq-8.6) +# - test stage (image: mathcomp-dev:$IID_$SLUG_coq-8.7) # - script template foreach project (custom CONTRIB_URL, script) # - jobs foreach project and Coq version (custom COQ_VERSION, CONTRIB_VERSION) # - deploy stage (only branch "master" and environment "deployment") # - pull each built image from GitLab registry => push to Docker Hub +# + scheduled build & deploy for mathcomp/mathcomp-dev:coq-dev # # Config for protected environment "deployment": # - set vars HUB_REGISTRY, HUB_REGISTRY_USER, HUB_REGISTRY_IMAGE, HUB_TOKEN @@ -51,6 +52,7 @@ stages: except: - tags - merge_requests + - schedules make-coq-latest: extends: .make-build @@ -77,14 +79,19 @@ make-coq-latest: - tags - merge_requests -coq-8.7: +.opam-build-once: extends: .opam-build + except: + - schedules + +coq-8.7: + extends: .opam-build-once coq-8.8: - extends: .opam-build + extends: .opam-build-once coq-8.9: - extends: .opam-build + extends: .opam-build-once coq-dev: extends: .opam-build @@ -116,6 +123,7 @@ coq-dev: except: - tags - merge_requests + - schedules # Guidelines to add a library to mathcomp CI: # - Add a hidden job (starting with a .) .ci-lib that extends the .ci job, @@ -359,14 +367,19 @@ ci-finmap-dev: only: - master -mathcomp-dev:coq-8.7: +.docker-deploy-once: extends: .docker-deploy + except: + - schedules + +mathcomp-dev:coq-8.7: + extends: .docker-deploy-once mathcomp-dev:coq-8.8: - extends: .docker-deploy + extends: .docker-deploy-once mathcomp-dev:coq-8.9: - extends: .docker-deploy + extends: .docker-deploy-once mathcomp-dev:coq-dev: extends: .docker-deploy |