diff --git a/Jenkinsfile b/Jenkinsfile
index 757c90dcc..f9ed8c62c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -14,4 +14,5 @@ pipeline {
              }
          }
      }
+}