]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Jenkinsfile: convert tabs to spaces 10787/head
authorTimo Heister <timo.heister@gmail.com>
Sat, 1 Aug 2020 14:52:26 +0000 (10:52 -0400)
committerTimo Heister <timo.heister@gmail.com>
Sat, 1 Aug 2020 14:52:26 +0000 (10:52 -0400)
Jenkinsfile

index b0f6f99a2a837fd557d186e9969fb49770902161..0c9398345a201f3b15391c00e9bab4a34c530c2e 100644 (file)
@@ -38,12 +38,12 @@ pipeline
         {
           // skip permission check on master and release branches
           when {
-              not {
-               anyOf {
-                 branch 'master'
-                 branch pattern: "dealii-*", comparator: "GLOB"
-               }
-             }
+            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.