From e146560b87c71ed3e18c22e708fa943d064c5f8e Mon Sep 17 00:00:00 2001 From: Timo Heister Date: Tue, 12 May 2020 15:14:42 -0400 Subject: [PATCH] Jenknis: also test release branches --- Jenkinsfile | 9 +++++++-- contrib/ci/Jenkinsfile.osx | 7 +++++-- contrib/ci/Jenkinsfile.tidy | 9 ++++++--- 3 files changed, 18 insertions(+), 7 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index c2028333f4..3eb6036563 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -36,9 +36,14 @@ pipeline { stage("permission") { - // skip permission check on master: + // skip permission check on master and release branches when { - not {branch 'master'} + not { + anyOf { + branch 'master' + branch pattern: "dealii-*", comparator: "GLOB" + } + } } steps { diff --git a/contrib/ci/Jenkinsfile.osx b/contrib/ci/Jenkinsfile.osx index b44e059ea1..f38b0b6b1b 100644 --- a/contrib/ci/Jenkinsfile.osx +++ b/contrib/ci/Jenkinsfile.osx @@ -54,8 +54,11 @@ pipeline stage("check") { when { - allOf { - not {branch 'master'} + not { + anyOf { + branch 'master' + branch pattern: "dealii-*", comparator: "GLOB" + } } } diff --git a/contrib/ci/Jenkinsfile.tidy b/contrib/ci/Jenkinsfile.tidy index 87e58d21ad..e63e4ef6c4 100644 --- a/contrib/ci/Jenkinsfile.tidy +++ b/contrib/ci/Jenkinsfile.tidy @@ -57,10 +57,13 @@ pipeline stage("check") { when { - allOf { - not {branch 'master'} + not { + anyOf { + branch 'master' + branch pattern: "dealii-*", comparator: "GLOB" + } } - } + } steps { -- 2.39.5