diff --git a/Jenkinsfile b/Jenkinsfile
index 17b22d53ac..6c63194f29 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -110,9 +110,4 @@ pipeline {
             }
         }
     }
-    post {
-        always {
-            cleanWs()
-        }
-    }
 }