From fa00eead20903734d9cc22e1966fa1741af6e036 Mon Sep 17 00:00:00 2001
From: Timo Heister <timo.heister@gmail.com>
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