diff --git a/Jenkinsfile b/Jenkinsfile index 787852c6c..b5940ec3f 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -72,4 +72,3 @@ pipeline { } } } -}