diff --git a/Jenkinsfile b/Jenkinsfile index 269a24e01..e7a8ff5b4 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -83,3 +83,4 @@ pipeline { } } } +}