jenkins: Always cleanup all workspaces after we are don

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

diff --git a/Jenkinsfile b/Jenkinsfile
index b5827429f1ae92e86ac0920bb9a4658cad1153b4..917e14b52be325bccabac181ab5ec59282bd2f97 100644 (file)
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -110,6 +110,13 @@ pipeline {
                                                }
                                        }
                                }
+
+                               // Cleanup the workspace afterwards
+                               post {
+                                       always {
+                                               cleanWs()
+                                       }
+                               }
                        }
                }
 
@@ -161,6 +168,13 @@ pipeline {
                                                        }
                                                }
                                        }
+
+                                       // Cleanup the workspace afterwards
+                                       post {
+                                               always {
+                                                       cleanWs()
+                                               }
+                                       }
                                }
 
                                stage("LCOV") {
@@ -235,6 +249,13 @@ pipeline {
                                                        }
                                                }
                                        }
+
+                                       // Cleanup the workspace afterwards
+                                       post {
+                                               always {
+                                                       cleanWs()
+                                               }
+                                       }
                                }
                        }
                }
@@ -380,6 +401,13 @@ pipeline {
                                                                }
                                                        }
                                                }
+
+                                               // Cleanup the workspace afterwards
+                                               post {
+                                                       always {
+                                                               cleanWs()
+                                                       }
+                                               }
                                        }
                                }
 
@@ -431,6 +459,13 @@ pipeline {
 
                                                // XXX This needs to be published on a mirror server somewhere
                                        }
+
+                                       // Cleanup the workspace afterwards
+                                       post {
+                                               always {
+                                                       cleanWs()
+                                               }
+                                       }
                                }
                        }
                }