diff --git a/Jenkinsfile b/Jenkinsfile
index 0f07aeb659a032368c9c1eae4696b4b2da6e2122..516b179dce12184f6841ddb3d007781d216345cd 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -176,7 +176,8 @@ pipeline {
     }
   }
   }
-  post {             
+  post {      
+      
         success {
             emailext (
                 subject: "PR-result: Job '${env.JOB_NAME} [${env.BUILD_NUMBER}]'",