summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2022-04-30 16:38:00 -0400
committerMarge Bot <ben+marge-bot@smart-cactus.org>2022-05-04 16:16:48 -0400
commit0032dc383d67ff164d0cfbb717e10f1275547e4c (patch)
treef79d73fe9fe634f28171b85299909eb2a58aa6d0
parent6f6627541cfa12651d7eca716ebf49848bccb425 (diff)
downloadhaskell-0032dc383d67ff164d0cfbb717e10f1275547e4c.tar.gz
gitlab-ci: Don't run make job in release pipelines
(cherry picked from commit 16d6a8ff011f2194485387dcca1c00f8ddcdbdeb)
-rw-r--r--.gitlab-ci.yml2
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)