Jenknis: also test release branches

diff --git a/Jenkinsfile b/Jenkinsfile
index c2028333f4a167b39525cffb258beef27d3f3caa..3eb60365636864c3f0ffc693c7c4b256368c4df4 100644 (file)
--- 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 b44e059ea19105527a31f2af00e03fc140ca43f0..f38b0b6b1b2bc9d2848341686e5b5639a6c0677e 100644 (file)
--- 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 87e58d21ad6841c67a04d0e09c937018b315e6d2..e63e4ef6c42fb921a6d5d0c577ff11b40d6567b2 100644 (file)
--- 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
           {