From 039503c8e95e513adf194bd98df270664f704877 Mon Sep 17 00:00:00 2001
From: Olivier Lamy <olamy@apache.org>
Date: Mon, 23 Jan 2023 11:44:31 +1000
Subject: [PATCH] no need to use an agent here before the real build

Signed-off-by: Olivier Lamy <olamy@apache.org>
---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index fe861da9066..b3e036bbc7e 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,7 +1,7 @@
 #!groovy
 
 pipeline {
-  agent any
+  agent none
   // save some io during the build
   options {
     skipDefaultCheckout()