Add node

2026-01-17 22:09:31 +01:00
parent 330c2a5364
commit 87b846b4ae
1 changed files with 5 additions and 1 deletions
--- a/Jenkinsfile.ci
+++ b/Jenkinsfile.ci
@@ -94,7 +94,11 @@ pipeline {
  post {
    always {
      script {
        node {
          cleanWs()
        }
      }
    }
  }
 }