Use specific Java in Jenkinsfile

eclipse-packaging · Jul 13, 2023 · 13dd18d · 13dd18d
1 parent 4907736
commit 13dd18d
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/releng/org.eclipse.epp.config/tools/promote-a-build.Jenkinsfile b/releng/org.eclipse.epp.config/tools/promote-a-build.Jenkinsfile
@@ -8,6 +8,10 @@ pipeline {
     timestamps()
     disableConcurrentBuilds()
   }
+  tools {
+    maven 'apache-maven-latest'
+    jdk 'temurin-jdk17-latest'
+  }
   stages {
     stage('Upload') {
       steps {