diff --git a/Jenkinsfile b/Jenkinsfile
index 32af4156c..04641e088 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -137,3 +137,4 @@ pipeline {
         }
     }
 }
+}