From bc4a8937fed899244432d0870945f1f070dc5e0c Mon Sep 17 00:00:00 2001
From: Julian Mutter <julian.mutter@comumail.de>
Date: Sat, 25 Oct 2025 23:45:10 +0200
Subject: [PATCH] jenkins: clean workspace after build

---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 307d66d..3ecb312 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -95,6 +95,7 @@ pipeline {
     }
     post {
         always {
+            cleanWS()
             step([$class: 'Mailer', notifyEveryUnstableBuild: true, recipients: emailextrecipients([developers(), requestor()])])
         }
     }