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