Drop JDK 12-based CI

See gh-18848
2019-11-04 07:35:32 +01:00
parent 6fbac04ef3
commit f9cb7c6220
4 changed files with 1 additions and 94 deletions
--- a/ci/scripts/detect-jdk-updates.sh
+++ b/ci/scripts/detect-jdk-updates.sh
@@ -9,10 +9,6 @@ case "$JDK_VERSION" in
 		 BASE_URL="https://api.adoptopenjdk.net/v2/info/releases/openjdk11"
 		 ISSUE_TITLE="Upgrade Java 11 version in CI image"
 	;;
-	java12)
-		 BASE_URL="https://api.adoptopenjdk.net/v2/info/releases/openjdk12"
-		 ISSUE_TITLE="Upgrade Java 12 version in CI image"
-	;;
 	*)
 		echo $"Unknown java version"
 		exit 1;