diff --git a/Jenkinsfile b/Jenkinsfile index e385d9169..84b90d560 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -36,5 +36,5 @@ pipeline { } } } - +}