Update CI Properties.

See #3097
This commit is contained in:
Mark Paluch 2025-05-12 08:54:46 +02:00
parent 2678cdc7b6
commit a8557a36dc
No known key found for this signature in database
GPG Key ID: 55BC6374BAA9D973

View File

@ -1,5 +1,5 @@
# Java versions # Java versions
java.main.tag=17.0.15_6-jdk-focal java.main.tag=24.0.1_9-jdk-noble
java.next.tag=24.0.1_9-jdk-noble java.next.tag=24.0.1_9-jdk-noble
# Docker container images - standard # Docker container images - standard
@ -14,7 +14,6 @@ docker.mongodb.8.0.version=8.0.9
# Supported versions of Redis # Supported versions of Redis
docker.redis.6.version=6.2.13 docker.redis.6.version=6.2.13
docker.redis.7.version=7.2.4 docker.redis.7.version=7.2.4
docker.valkey.8.version=8.1.1
# Docker environment settings # Docker environment settings
docker.java.inside.basic=-v $HOME:/tmp/jenkins-home docker.java.inside.basic=-v $HOME:/tmp/jenkins-home