From e09d378f14d0ec1d0465f22e1ba1424b520c6502 Mon Sep 17 00:00:00 2001 From: Timo Heister Date: Wed, 7 Dec 2022 19:14:05 -0500 Subject: [PATCH] indent --- contrib/ci/Jenkinsfile.mpi | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/contrib/ci/Jenkinsfile.mpi b/contrib/ci/Jenkinsfile.mpi index f891c71b13..e54df7d7b1 100644 --- a/contrib/ci/Jenkinsfile.mpi +++ b/contrib/ci/Jenkinsfile.mpi @@ -57,12 +57,12 @@ pipeline { when { not { - anyOf { - branch 'master' - branch pattern: "dealii-*", comparator: "GLOB" - } + anyOf { + branch 'master' + branch pattern: "dealii-*", comparator: "GLOB" + } } - } + } steps { -- 2.39.5