diff --git a/Jenkinsfile b/Jenkinsfile
index c2af67925..09cf4ee81 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -34,3 +34,4 @@ pipeline {
         }
     }
 }
+}