From dfdb0bbc709ec4eec5d7bd0be6dbecc3a4f5e385 Mon Sep 17 00:00:00 2001 From: Christian Dietrich Date: Wed, 22 Sep 2021 18:54:23 +0200 Subject: [PATCH] [eclipse/xtext#1995] switch from adoptopenjdk to termurin and provide java 17 jdk Signed-off-by: Christian Dietrich --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 51b6c7ed96..7e4c4980dc 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -13,7 +13,7 @@ pipeline { parameters { // see https://wiki.eclipse.org/Jenkins#JDK choice(name: 'JDK_VERSION', description: 'Which JDK should be used?', choices: [ - 'adoptopenjdk-hotspot-jdk8-latest', 'adoptopenjdk-hotspot-jdk11-latest', 'adoptopenjdk-hotspot-jdk16-latest' + 'temurin-jdk8-latest', 'temurin-jdk11-latest', 'temurin-jdk17-latest' ]) booleanParam( name: 'TRIGGER_DOWNSTREAM_BUILD',