diff --git a/jenkins/Jenkinsfile b/jenkins/Jenkinsfile index 995d3e3..b3ef8c0 100755 --- a/jenkins/Jenkinsfile +++ b/jenkins/Jenkinsfile @@ -760,4 +760,3 @@ pipeline { } } } -