From 086e714c095ea4e1b697db156cac578de168eedc Mon Sep 17 00:00:00 2001 From: Timo Heister Date: Sat, 1 Aug 2020 10:52:26 -0400 Subject: [PATCH] Jenkinsfile: convert tabs to spaces --- Jenkinsfile | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) 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 { -- 2.39.5