diff --git a/Jenkinsfile b/Jenkinsfile
index d1fa5298e..5ebdd4f7d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -71,4 +71,10 @@ pipeline {
     QEMU_IRIX = credentials('qemu-irix')
     ROMS_DIR = credentials('roms')
   }
+
+  post {
+    always {
+      cleanWs()
+    }
+  }
 }