From f14fc01b391cf0e5e9ff3e1f494b37739a831727 Mon Sep 17 00:00:00 2001
From: Andrea Cavalli <andrea@cavallium.it>
Date: Sun, 4 Oct 2020 19:38:05 +0200
Subject: [PATCH] Update Jenkinsfile

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

diff --git a/Jenkinsfile b/Jenkinsfile
index a600dec..1c3e79a 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -21,6 +21,7 @@ pipeline {
 	}
 	stages {
 		stage("Setup workspace") {
+			agent none
 			steps {
 				sh "mkdir -p \"/var/jenkins_cache/.m2\""
 				sh "chown 1000:1000 -R \"/var/jenkins_cache/.m2\""