From 14d7653c06ad6e45c67324f45f59ea8babd42d9c Mon Sep 17 00:00:00 2001 From: Mark Paluch Date: Tue, 18 Jul 2023 11:45:26 +0200 Subject: [PATCH] Update CI properties. See #2628 --- ci/pipeline.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/pipeline.properties b/ci/pipeline.properties index 7aac84d97..78163e087 100644 --- a/ci/pipeline.properties +++ b/ci/pipeline.properties @@ -1,5 +1,5 @@ # Java versions -java.main.tag=8u362-b09-jdk-focal +java.main.tag=8u372-b07-jdk-focal java.next.tag=20-jdk-jammy java.lts.tag=17.0.7_7-jdk-focal