1 files changed, 3 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index 2eeaf19e9..9283a3401 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -153,6 +153,9 @@ pipeline {
                 }
             }
         }
+        always {
+            cleanWs()
+        }
     }
 }