Browse Source

Update CI Properties.

See #3360
pull/3321/merge
Mark Paluch 3 months ago
parent
commit
000ccd584a
No known key found for this signature in database
GPG Key ID: 55BC6374BAA9D973
  1. 5
      ci/pipeline.properties

5
ci/pipeline.properties

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

Loading…
Cancel
Save