Update CI properties.

See #2628
This commit is contained in:
Mark Paluch 2023-07-18 11:45:26 +02:00
parent fd8288a971
commit 14d7653c06
No known key found for this signature in database
GPG Key ID: 4406B84C1661DCD1

View File

@ -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