diff --git a/jenkins/Jenkinsfile b/jenkins/Jenkinsfile index 424c05d..de6ab32 100755 --- a/jenkins/Jenkinsfile +++ b/jenkins/Jenkinsfile @@ -756,4 +756,3 @@ pipeline { } } } -