]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Jenknis: also test release branches 10173/head
authorTimo Heister <timo.heister@gmail.com>
Tue, 12 May 2020 19:14:42 +0000 (15:14 -0400)
committerTimo Heister <timo.heister@gmail.com>
Wed, 13 May 2020 01:25:19 +0000 (21:25 -0400)
Jenkinsfile
contrib/ci/Jenkinsfile.osx
contrib/ci/Jenkinsfile.tidy

index c2028333f4a167b39525cffb258beef27d3f3caa..3eb60365636864c3f0ffc693c7c4b256368c4df4 100644 (file)
@@ -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
           {
index b44e059ea19105527a31f2af00e03fc140ca43f0..f38b0b6b1b2bc9d2848341686e5b5639a6c0677e 100644 (file)
@@ -54,8 +54,11 @@ pipeline
         stage("check")
         {
           when {
-            allOf {
-              not {branch 'master'}
+            not {
+             anyOf {
+               branch 'master'
+               branch pattern: "dealii-*", comparator: "GLOB"
+             }
             }
           }
 
index 87e58d21ad6841c67a04d0e09c937018b315e6d2..e63e4ef6c42fb921a6d5d0c577ff11b40d6567b2 100644 (file)
@@ -57,10 +57,13 @@ pipeline
         stage("check")
         {
           when {
-            allOf {
-              not {branch 'master'}
+            not {
+             anyOf {
+               branch 'master'
+               branch pattern: "dealii-*", comparator: "GLOB"
+             }
             }
-          }
+         }
 
           steps
           {

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.