diff options
author | Ben Gamari <ben@smart-cactus.org> | 2022-04-30 16:38:00 -0400 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-05-04 16:16:48 -0400 |
commit | 0032dc383d67ff164d0cfbb717e10f1275547e4c (patch) | |
tree | f79d73fe9fe634f28171b85299909eb2a58aa6d0 /.gitlab-ci.yml | |
parent | 6f6627541cfa12651d7eca716ebf49848bccb425 (diff) | |
download | haskell-0032dc383d67ff164d0cfbb717e10f1275547e4c.tar.gz |
gitlab-ci: Don't run make job in release pipelines
(cherry picked from commit 16d6a8ff011f2194485387dcca1c00f8ddcdbdeb)
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 5df3afc8c1..57535cd2b7 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -380,7 +380,7 @@ validate-x86_64-linux-deb10-make: extends: .build-x86_64-linux-deb10-make stage: full-build rules: - - if: '$CI_MERGE_REQUEST_LABELS !~ /.*fast-ci.*/' + - if: '($CI_MERGE_REQUEST_LABELS !~ /.*fast-ci.*/) && ($RELEASE_JOB != "yes")' ############################################################ # Validation via Pipelines (make) |