From fade7dfd1b244f769769ddd16f3897116f1ff520 Mon Sep 17 00:00:00 2001 From: chrimih Date: Fri, 16 Aug 2024 11:25:47 +0200 Subject: [PATCH] Pin JDK to v11.0.24 --- jenkins/build.Jenkinsfile | 7 ++++++- jenkins/merge-build.Jenkinsfile | 7 ++++++- 2 files changed, 12 insertions(+), 2 deletions(-) diff --git a/jenkins/build.Jenkinsfile b/jenkins/build.Jenkinsfile index 8f9dc1d6..90dff83f 100644 --- a/jenkins/build.Jenkinsfile +++ b/jenkins/build.Jenkinsfile @@ -29,7 +29,7 @@ def heapSizeOpts = "" pipeline { - agent { label 'slave-0' } + agent any options { gitlabBuilds(builds: ['build', 'test']) @@ -83,8 +83,13 @@ pipeline { updateGitlabCommitStatus name: 'Jenkins CI-Build', state: 'running' script { + def jdk = tool name: 'java_11.0.24' + env.JAVA_HOME = "${jdk}" + def mvnHome = tool name: 'mavenlatest', type: 'maven' mvn = "${mvnHome}/bin/mvn" + + sh "$mvn -version" } } } diff --git a/jenkins/merge-build.Jenkinsfile b/jenkins/merge-build.Jenkinsfile index a2c0de0e..1f6f0a95 100644 --- a/jenkins/merge-build.Jenkinsfile +++ b/jenkins/merge-build.Jenkinsfile @@ -29,7 +29,7 @@ def heapSizeOpts = "" pipeline { - agent { label 'slave-0' } + agent any options { gitlabBuilds(builds: ['build', 'test']) @@ -83,8 +83,13 @@ pipeline { updateGitlabCommitStatus name: 'Jenkins CI-Build', state: 'running' script { + def jdk = tool name: 'java_11.0.24' + env.JAVA_HOME = "${jdk}" + def mvnHome = tool name: 'mavenlatest', type: 'maven' mvn = "${mvnHome}/bin/mvn" + + sh "$mvn -version" } } }