diff --git a/Jenkinsfile b/Jenkinsfile index 7b8f6063f..5f30105a8 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -80,4 +80,3 @@ pipeline { } } } - }