From 446cb4acae23b543540763f73406494c061f4ed4 Mon Sep 17 00:00:00 2001 From: Mark Paluch Date: Tue, 17 Jun 2025 09:50:23 +0200 Subject: [PATCH] Docker ping --- ci/java-tools.properties | 1 + 1 file changed, 1 insertion(+) diff --git a/ci/java-tools.properties b/ci/java-tools.properties index d7e0ac7..21a5957 100644 --- a/ci/java-tools.properties +++ b/ci/java-tools.properties @@ -1,4 +1,5 @@ # Tool requirements # Version listed last will be used as default jdks=8.0.382,24.0.1,17.0.15 + maven=3.9.9