From 1474ae18850557af901c705c017c79c5aa5c39fb Mon Sep 17 00:00:00 2001
From: jose-rZM <100773386+jose-rZM@users.noreply.github.com>
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()
         }
     }