jenkins: clean workspace after build

2025-10-25 23:45:10 +02:00
parent f1d201fd0c
commit bc4a8937fe
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@@ -95,6 +95,7 @@ pipeline {
    }
    post {
        always {
+            cleanWS()
            step([$class: 'Mailer', notifyEveryUnstableBuild: true, recipients: emailextrecipients([developers(), requestor()])])
        }
    }