Add node name

2025-12-20 18:52:28 +01:00
parent ef1f4aed71
commit 256f1073da
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()
        }
    }
  }
+}