diff --git a/Jenkinsfile b/Jenkinsfile
index 11e754464..03a511d4b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -53,3 +53,4 @@ pipeline {
 }
         }
     }
+}