Trying workspace cleanup

diff --git a/Jenkinsfile b/Jenkinsfile
index 2eeaf19e9353386de6b9832881d95062ad0d068a..9283a340106e2fb9152212ad11267193d9784e10 100644 (file)
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -153,6 +153,9 @@ pipeline {
                 }
             }
         }
+        always {
+            cleanWs()
+        }
     }
 }