From 8473f71a42a61811b2830068f1025127d5df0526 Mon Sep 17 00:00:00 2001 From: Brian Clozel Date: Fri, 11 Sep 2020 13:45:46 +0200 Subject: [PATCH] Update JDK 15 version in CI image This also switches to the adoptopenjdk-produced binaries for better consistency with other JDK versions in our CI. --- ci/images/get-jdk-url.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/images/get-jdk-url.sh b/ci/images/get-jdk-url.sh index d0a02fcf09..ae33b11d0e 100755 --- a/ci/images/get-jdk-url.sh +++ b/ci/images/get-jdk-url.sh @@ -12,7 +12,7 @@ case "$1" in echo "https://github.com/AdoptOpenJDK/openjdk14-binaries/releases/download/jdk-14.0.2%2B12/OpenJDK14U-jdk_x64_linux_hotspot_14.0.2_12.tar.gz" ;; java15) - echo "https://download.java.net/java/early_access/jdk15/33/GPL/openjdk-15-ea+33_linux-x64_bin.tar.gz" + echo "https://github.com/AdoptOpenJDK/openjdk15-binaries/releases/download/jdk15u-2020-09-09-09-19/OpenJDK15U-jdk_x64_linux_hotspot_2020-09-09-09-19.tar.gz" ;; *) echo $"Unknown java version"