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

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 966976c..030f4ef 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 {