From ef6bc34664d33009fc6126c25dacf51e0199fad0 Mon Sep 17 00:00:00 2001 From: emmanuel lecharny Date: Wed, 11 Sep 2024 14:00:49 +0200 Subject: [PATCH] Fixed teh Jenkins file --- Jenkinsfile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index ea2cedd1c..f3c82aad6 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -90,7 +90,7 @@ pipeline { stage('Build JDK 17') { tools { - jdk "jdk_17" + jdk "jdk_17_latest" } steps { echo 'Building JDK 17' @@ -102,7 +102,7 @@ pipeline { stage('Build JDK 11') { tools { - jdk "jdk_11" + jdk "jdk_11_latest" } steps { echo 'Building JDK 11' @@ -114,7 +114,7 @@ pipeline { stage('Build JDK 8') { tools { - jdk "jdk_8" + jdk "jdk_8_latest" } steps { echo 'Building JDK 8'