From: Timo Heister Date: Sat, 1 Aug 2020 14:52:26 +0000 (-0400) Subject: Jenkinsfile: convert tabs to spaces X-Git-Tag: v9.3.0-rc1~1226^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=086e714c095ea4e1b697db156cac578de168eedc;p=dealii.git Jenkinsfile: convert tabs to spaces --- diff --git a/Jenkinsfile b/Jenkinsfile index b0f6f99a2a..0c9398345a 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -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 {