diff --git a/Jenkinsfile b/Jenkinsfile index 88295c136..e385d9169 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -37,4 +37,4 @@ pipeline { } } -} +