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

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 58ef4fc..966976c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -5,7 +5,7 @@
 
 
 pipeline {
-    agent { label 'CI'}
+    agent any
     options {
         ansiColor('xterm')
     }