diff --git a/Jenkinsfile b/Jenkinsfile index 660a060f..6cbe169c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -35,6 +35,10 @@ pipeline { } post { + always { + cleanWs(cleanWhenNotBuilt: false, + notFailBuild: true) + } success { echo 'Build completed successfully!' }