Update CI properties.

See #1863
2023-12-14 08:50:14 +01:00
parent 4c1e2a9b86
commit ac72992f9c
1 changed files with 1 additions and 1 deletions
--- a/ci/pipeline.properties
+++ b/ci/pipeline.properties
@@ -1,5 +1,5 @@
 # Java versions
-java.main.tag=17.0.8_7-jdk-focal
+java.main.tag=17.0.9_9-jdk-focal
 java.next.tag=20-jdk-jammy

 # Docker container images - standard