From 8c6b79ac975eb3315d9992054ec79df5f7cfd98d Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Sat, 31 Aug 2019 08:48:36 -0400
Subject: [PATCH] Back to any agent.

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

diff --git a/Jenkinsfile b/Jenkinsfile
index f951088..2ff4efb 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -76,7 +76,7 @@ echo "Configured dynamic stages: ${dynamicStages.inspect()}"
 
 pipeline {
    // see https://jenkins.io/doc/book/pipeline/syntax/#agent
-    agent none
+    agent any
 
    // see https://jenkins.io/doc/book/pipeline/syntax/#environment
    environment {