From 08ddaa7a11e4c861dc370f2cb576641edda78131 Mon Sep 17 00:00:00 2001 From: GiuseppeS Date: Wed, 28 May 2025 10:39:56 +0200 Subject: [PATCH] Modificato Jenkinsfile --- Jenkinsfile.groovy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile.groovy b/Jenkinsfile.groovy index 7076c7ec..1833ba33 100644 --- a/Jenkinsfile.groovy +++ b/Jenkinsfile.groovy @@ -1,5 +1,5 @@ pipeline { - agent 'master' + node 'master' options { buildDiscarder(logRotator(numToKeepStr: '10', artifactNumToKeepStr: '10'))