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

reset to agent any
---
 Jenkinsfile | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

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