From 0290ca919eebb7bc4517542e02a08f450eb04547 Mon Sep 17 00:00:00 2001 From: John Blum Date: Wed, 28 Apr 2021 08:15:03 -0700 Subject: [PATCH] Change Jenkinsfile to build on any available agent. --- Jenkinsfile | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index d0526b87..0735770b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,8 +1,6 @@ pipeline { - agent { - label "nogeode" - } + agent any environment { JAVA_HOME = "${tool 'jdk8'}"