diff --git a/Jenkinsfile b/Jenkinsfile index 630d43cab..31400fc32 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -18,5 +18,5 @@ } } } -} +