From 989550cf63f9b63d7abb9e8513e1a7954b1df99d Mon Sep 17 00:00:00 2001 From: Michael Tremer Date: Wed, 4 Dec 2024 14:32:51 +0000 Subject: [PATCH] jenkins: Always cleanup all workspaces after we are don Signed-off-by: Michael Tremer --- Jenkinsfile | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) diff --git a/Jenkinsfile b/Jenkinsfile index b5827429f..917e14b52 100644 --- 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() + } + } } } } -- 2.39.5