diff --git a/Jenkinsfile b/Jenkinsfile
index 3bd12bd3a..1f56786d9 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -140,3 +140,4 @@ pipeline {
         }
     }
 }
+}