diff --git a/Jenkinsfile b/Jenkinsfile index 792c678c7..630d43cab 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -19,4 +19,4 @@ } } } -} +