Browse Source

Fix JDK18 declaration in CI pipeline

See gh-27607
pull/27618/head
Brian Clozel 4 years ago
parent
commit
6fd0615be9
  1. 2
      ci/scripts/check-project.sh

2
ci/scripts/check-project.sh

@ -4,6 +4,6 @@ set -e @@ -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 \
./gradlew -Dorg.gradle.internal.launcher.welcomeMessageEnabled=false -Porg.gradle.java.installations.fromEnv=JDK17,JDK18 \
-PmainToolchain=${MAIN_TOOLCHAIN} -PtestToolchain=${TEST_TOOLCHAIN} --no-daemon --max-workers=4 check
popd > /dev/null

Loading…
Cancel
Save