diff --git a/jenkins/Jenkinsfile b/jenkins/Jenkinsfile index 833a5ba..7c301c3 100755 --- a/jenkins/Jenkinsfile +++ b/jenkins/Jenkinsfile @@ -758,4 +758,3 @@ pipeline { } } } -