diff --git a/Jenkinsfile b/Jenkinsfile index a141a0bf4..fc634fce6 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -102,6 +102,11 @@ pipeline{ } } } + post { + always { + deleteDir() + } + } } stage ('Worker build (musl)') { agent { node { label 'bionic' } }