Pin JDK to v11.0.24

devonfw · Aug 16, 2024 · fade7df · fade7df
1 parent fe69fcd
commit fade7df
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 2 deletions.
diff --git 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
@@ -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"
         }
       }
     }