diff --git a/Jenkinsfile b/Jenkinsfile index d1881bd..741de6f 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -66,4 +66,9 @@ pipeline { } } } + post { + failure { + deleteDir() + } + } }