Add node name

2025-12-20 18:52:28 +01:00
parent 7e6a8a3869
commit 4ca556cdc8
1 changed files with 3 additions and 1 deletions
--- a/Jenkinsfile.cd
+++ b/Jenkinsfile.cd
@@ -122,7 +122,9 @@ pipeline {

  post {
    always {
+        node('principal') {
            cleanWs()
        }
    }
  }
+}