From aa376f8164d8123aac2f5d372d81bb0315b717d3 Mon Sep 17 00:00:00 2001
From: Roberto Cirillo <roberto.cirillo@isti.cnr.it>
Date: Thu, 12 Jan 2023 16:32:04 +0100
Subject: [PATCH] Update 'Jenkinsfile'

set agent with label parameter
---
 Jenkinsfile | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 966976c..d35727b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -5,7 +5,7 @@
 
 
 pipeline {
-    agent any
+
     options {
         ansiColor('xterm')
     }
@@ -40,6 +40,13 @@ pipeline {
              defaultValue: 'CI',
              description: 'Run on all nodes matching the label')                         
     }  
+    agent
+    {
+        node
+        {
+            label "${exec_label}"
+        }
+    }
     stages {
         stage('Checkout git project') {
             steps {