diff options
| author | Ben Gamari <ben@well-typed.com> | 2021-11-09 16:48:34 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-11-12 21:23:51 -0500 |
| commit | 908e49fadc8e827743a9816b3414020b9bf725af (patch) | |
| tree | c24a21d9add88fc4025e209afed6e7d94a54f295 | |
| parent | 578b8b489fa191211f14819355901147ee9b6f4d (diff) | |
| download | haskell-908e49fadc8e827743a9816b3414020b9bf725af.tar.gz | |
Fix it
| -rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 8ef1f74ff9..ba41c72dea 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -79,13 +79,15 @@ workflow: - if: '$CI_PIPELINE_SOURCE == "web"' # Allow linters to fail on draft MRs. +# This must be explicitly transcluded in lint jobs which +# override `rules:` .drafts-can-fail-lint: &drafts-can-fail-lint if: "$CI_MERGE_REQUEST_TITLE =~ /^\\s*(Draft|wip|WIP):/" allow_failure: true .lint: rules: - - <<: drafts-can-fail-lint + - *drafts-can-fail-lint .nightly: &nightly variables: |