Update JDK 15 CI to use 2020-07-08-05-49

Closes gh-22267
pull/22294/head
Andy Wilkinson 4 years ago
parent 6b7640ba2e
commit 41ce1c9de2

@ -12,7 +12,7 @@ case "$1" in
echo "https://github.com/AdoptOpenJDK/openjdk14-binaries/releases/download/jdk-14.0.1%2B7/OpenJDK14U-jdk_x64_linux_hotspot_14.0.1_7.tar.gz"
;;
java15)
echo "https://github.com/AdoptOpenJDK/openjdk15-binaries/releases/download/jdk15-2020-07-01-07-28/OpenJDK15-jdk_x64_linux_hotspot_2020-07-01-07-28.tar.gz"
echo "https://github.com/AdoptOpenJDK/openjdk15-binaries/releases/download/jdk15-2020-07-08-05-49/OpenJDK15-jdk_x64_linux_hotspot_2020-07-08-05-49.tar.gz"
;;
*)
echo $"Unknown java version"

Loading…
Cancel
Save