diff --git a/Jenkinsfile b/Jenkinsfile
index 9177a8b1a..78464a925 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -75,4 +75,4 @@ pipeline {
       }
     }
   }
-}
+