diff --git a/Jenkinsfile b/Jenkinsfile index 09177fc..8d5385f 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -33,4 +33,9 @@ pipeline { } } } + post { + success { + cleanWs() + } + } }