From e43bf207ca503a966d9fe0aa4a6578ae7b47c1d5 Mon Sep 17 00:00:00 2001 From: Johnny Truong Date: Fri, 20 Jan 2023 18:27:39 +0100 Subject: [PATCH] trying to add jdk8 again --- jenkins/Jenkinsfile | 1 + 1 file changed, 1 insertion(+) diff --git a/jenkins/Jenkinsfile b/jenkins/Jenkinsfile index 7708bc7c02..6b152e6a24 100644 --- a/jenkins/Jenkinsfile +++ b/jenkins/Jenkinsfile @@ -3,6 +3,7 @@ pipeline { tools { maven 'maven-3.8.6' + jdk 'jdk8' } stages {