2025-12-21 13:18:25 +01:00
1 changed files with 3 additions and 1 deletions
--- a/Jenkinsfile.ci
+++ b/Jenkinsfile.ci
@@ -83,7 +83,9 @@ pipeline {
  post {
    always {
        node {
            cleanWs()
        }
    }
  }
 }