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 /docs | |
| 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 'docs')
0 files changed, 0 insertions, 0 deletions