Fix JDK20 env variable declaration in CI pipeline

See gh-30185
2023-04-03 09:43:37 +02:00 · 2023-04-03 09:43:37 +02:00 · 8234fa2a13
parent 8b9d2e3f95
commit 8234fa2a13
1 changed files with 1 additions and 1 deletions
--- a/ci/scripts/check-project.sh
+++ b/ci/scripts/check-project.sh
@ -4,6 +4,6 @@ set -e
 source $(dirname $0)/common.sh

 pushd git-repo > /dev/null
-./gradlew -Dorg.gradle.internal.launcher.welcomeMessageEnabled=false -Porg.gradle.java.installations.fromEnv=JDK17,JDK19 \
+./gradlew -Dorg.gradle.internal.launcher.welcomeMessageEnabled=false -Porg.gradle.java.installations.fromEnv=JDK17,JDK20 \
  -PmainToolchain=${MAIN_TOOLCHAIN} -PtestToolchain=${TEST_TOOLCHAIN} --no-daemon --max-workers=4 check
 popd > /dev/null