Merge pull request #18122 from dreis2211

* pr/18122:
  Detect JDK 13 updates

Closes gh-18122

Author: snicoll

ci/pipeline.yml

@@ -213,6 +213,15 @@ jobs:
         GITHUB_USERNAME: ((github-username))
         JDK_VERSION: java12
       image: spring-boot-ci-image
+    - task: detect-jdk13-update
+      file: git-repo/ci/tasks/detect-jdk-updates.yml
+      params:
+        GITHUB_REPO: spring-boot
+        GITHUB_ORGANIZATION: spring-projects
+        GITHUB_PASSWORD: ((github-password))
+        GITHUB_USERNAME: ((github-username))
+        JDK_VERSION: java13
+      image: spring-boot-ci-image
 - name: build
   serial: true
   public: true

ci/scripts/detect-jdk-updates.sh

@@ -13,6 +13,10 @@ case "$JDK_VERSION" in
 		 BASE_URL="https://api.adoptopenjdk.net/v2/info/releases/openjdk12"
 		 ISSUE_TITLE="Upgrade Java 12 version in CI image"
 	;;
+	java13)
+		 BASE_URL="https://api.adoptopenjdk.net/v2/info/nightly/openjdk13"
+		 ISSUE_TITLE="Upgrade Java 13 version in CI image"
+	;;
 	*)
 		echo $"Unknown java version"
 		exit 1;