Build a new release container.

Having upgraded release tools to maven 3.9.1, we need a new container.
2023-04-14 10:57:00 -05:00
parent ce8499264c
commit 6c1a8356ef
2 changed files with 3 additions and 6 deletions
--- a/ci/java-tools.properties
+++ b/ci/java-tools.properties
@@ -1,3 +1,4 @@
 # Tool requirements
 jdks=17.0.6,8.0.352,8.0.362
 maven=3.9.1
+