Merge pull request #1707 from deegree/upgrade-to-temurin-17

Upgrade Jenkinsfile to temurin 17 / Java 17
deegree · Jun 7, 2024 · 61d4f7b · 61d4f7b
2 parents 9136802 + a550367
commit 61d4f7b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -7,7 +7,7 @@ pipeline {
     }
     tools {
         maven 'maven-3.9'
-        jdk 'adoptopenjdk-jdk11'
+        jdk 'temurin-jdk17'
     }
     environment {
         MAVEN_OPTS='-Djava.awt.headless=true -Xmx4096m'