diff --git a/Jenkinsfile b/Jenkinsfile
index c07af38c0..58b570007 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -25,6 +25,6 @@ pipeline {
             }
         }
     }
-}
+