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