diff --git a/Jenkinsfile b/Jenkinsfile index d164fa7b2ef..aa79c294466 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -14,7 +14,7 @@ stages { sh 'sudo -E cimon agent start-background' } } - ... + } post { always {