diff --git a/Jenkinsfile b/Jenkinsfile index 37affe2e..53a3dc2c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -96,6 +96,9 @@ pipeline { success { archiveArtifacts "target/*.jar" } + failure { + cleanWs() + } } } }