From 56a0aade5eeb8c581b6bdb458f2e5de6a337b351 Mon Sep 17 00:00:00 2001 From: zontreck Date: Fri, 6 Sep 2024 03:09:26 -0700 Subject: [PATCH] Add jdk 8 tool to stage --- Jenkinsfile | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 47f9d1d..b38a937 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,5 +1,9 @@ pipeline { - agent any + agent any { + tools { + jdk 'jdk8' + } + } options { buildDiscarder( @@ -13,9 +17,6 @@ pipeline { stage("Build on Linux") { agent { label 'linux' - tools { - jdk 'jdk8' - } }