diff --git a/Jenkinsfile b/Jenkinsfile index e3c0802..a936369 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -46,7 +46,7 @@ PGPORT=`python -c 'import struct; import socket; s=socket.socket(); s.setsockopt utils.mail_notify(currentBuild, env, 'ci+jenkins-petale@entrouvert.org') } } - success { + cleanup { sh "rm -rf ${env.TMPDIR}" cleanWs() }