From 7c4c5da1d6c8ffad05a24c2351b8557b093601ca Mon Sep 17 00:00:00 2001
From: GiuseppeS <g.scorrano@integry.it>
Date: Wed, 28 May 2025 10:41:32 +0200
Subject: [PATCH] Modificato Jenkinsfile

---
 Jenkinsfile.groovy | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile.groovy b/Jenkinsfile.groovy
index 7076c7ec..999621db 100644
--- a/Jenkinsfile.groovy
+++ b/Jenkinsfile.groovy
@@ -1,5 +1,7 @@
 pipeline {
-    agent 'master'
+    agent {
+        label 'master'
+    }
 
     options {
         buildDiscarder(logRotator(numToKeepStr: '10', artifactNumToKeepStr: '10'))