indent

diff --git a/contrib/ci/Jenkinsfile.mpi b/contrib/ci/Jenkinsfile.mpi
index f891c71b138081e2d367d8362d3fd0404a5a7844..e54df7d7b13e57da57182bb7a04a573b28486b9b 100644 (file)
--- 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
           {