From eb385a70ff155b0bf7b2bb21a40d84aceb083bad Mon Sep 17 00:00:00 2001 From: husbando_enjoyer Date: Sat, 20 Dec 2025 18:35:38 +0100 Subject: [PATCH] Add node name --- Jenkinsfile.ci | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile.ci b/Jenkinsfile.ci index 54600f1..c1f2c44 100644 --- a/Jenkinsfile.ci +++ b/Jenkinsfile.ci @@ -83,7 +83,7 @@ pipeline { post { always { - node { + node('principal') { cleanWs() } }