From 43d0ef944d1d52a1b466074c846dff0a89759e8a Mon Sep 17 00:00:00 2001
From: Lars Bilke <lars.bilke@ufz.de>
Date: Thu, 6 Aug 2020 11:11:21 +0200
Subject: [PATCH] [ci] Do not run pipelines for workflow:paused labeled MRs.
---
.gitlab-ci.yml | 2 ++
1 file changed, 2 insertions(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index e9646947359..75c459b8e03 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -23,6 +23,8 @@ workflow:
# Disable CI for non-MR user-scoped pipelines
- if: '$CI_MERGE_REQUEST_IID == null && $CI_PROJECT_NAMESPACE != "ogs"'
when: never
+ - if: '$CI_MERGE_REQUEST_LABELS =~ /.*workflow:paused.*/'
+ when: never
- if: $CI_MERGE_REQUEST_IID # merge requests
- if: $CI_COMMIT_TAG # tags, ogs/ogs repo only
- if: $CI_COMMIT_BRANCH == $CI_DEFAULT_BRANCH # master, ogs/ogs repo only
--
GitLab