From 6acc88dd6db65cd0c434942860e5248ec09d6f95 Mon Sep 17 00:00:00 2001
From: Lars Bilke <lars.bilke@ufz.de>
Date: Fri, 23 Apr 2021 11:36:48 +0200
Subject: [PATCH] [ci] Fixed workflow::paused and added label 'ci skip'.

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index ffb042b08ce..524407119bc 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -24,7 +24,7 @@ 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.*/'
+    - if: '$CI_MERGE_REQUEST_LABELS =~ /.*(workflow::paused|ci skip).*/'
       when: never
     - if: $CI_MERGE_REQUEST_IID                         # merge requests
     - if: $CI_COMMIT_TAG                                # tags, ogs/ogs repo only
-- 
GitLab