Update JDK 15 CI to use 2020-07-15-08-59

Closes gh-22346
pull/22366/head
Andy Wilkinson 4 years ago
parent f8cc0e53a4
commit e31f871b96

@ -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" 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) java15)
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 "https://github.com/AdoptOpenJDK/openjdk15-binaries/releases/download/jdk15-2020-07-15-08-59/OpenJDK15-jdk_x64_linux_hotspot_2020-07-15-08-59.tar.gz"
;; ;;
*) *)
echo $"Unknown java version" echo $"Unknown java version"

Loading…
Cancel
Save