diff --git a/Jenkinsfile b/Jenkinsfile
index 307d66d..3ecb312 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -95,6 +95,7 @@ pipeline {
     }
     post {
         always {
+            cleanWS()
             step([$class: 'Mailer', notifyEveryUnstableBuild: true, recipients: emailextrecipients([developers(), requestor()])])
         }
     }