diff --git a/Jenkinsfile b/Jenkinsfile
index eb16835ce5..b2d3939ffe 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -140,6 +140,13 @@ pipeline {
               }
             }
           }
+
+          post {
+            always {
+              cleanWs()
+            }
+          }
+
         }
 
       }