jenkins: Don't try to cleanup the workspace

This seems to fail because Jenkins doesn't know on which host to run
this.

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

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