From: Timo Heister <timo.heister@gmail.com>
Date: Tue, 12 May 2020 19:14:42 +0000 (-0400)
Subject: Jenknis: also test release branches
X-Git-Tag: v9.3.0-rc1~1653^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F10173%2Fhead;p=dealii.git

Jenknis: also test release branches
---

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
           {