From b7785e72f1170d6162db93aa24b646e67aa54c95 Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Mon, 9 May 2022 12:39:33 +0200
Subject: [PATCH] change agent label to deploy

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 54cb7f0..4e2ee36 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -27,7 +27,7 @@ backupList = agent_root_folder+'/'+agent_deploy_backup_filename;
 
 pipeline {
     agent {
-        label 'CD'
+        label 'deploy'
     }
     triggers {
 //     every fifteen minutes (perhaps at :07, :22, :37, :52)