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