jenkins: Try to cleanup workspace after Debian repo

Signed-off-by: Michael Tremer <michael.tremer@ipfire.org>

diff --git a/Jenkinsfile b/Jenkinsfile
index 23d44d5374aa0f18556163ab9ce3cee17454ae87..dd390034d41b668b9fcccfd5de5cbdd644491ec1 100644 (file)
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -516,6 +516,13 @@ pipeline {
                                        }
                                }
                        }
+
+                       // Cleanup the workspace afterwards
+                       post {
+                               always {
+                                       cleanWs()
+                               }
+                       }
                }
        }
 }