diff --git a/Jenkinsfile b/Jenkinsfile index 70634968d..f81acf3ab 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -29,5 +29,6 @@ pipeline { subject: "Success", body: "Build successful" ) + } } }