Browse Source

Update CI Properties.

See #3407
pull/3426/head
Mark Paluch 1 week ago
parent
commit
804cb2342b
No known key found for this signature in database
GPG Key ID: 55BC6374BAA9D973
  1. 5
      ci/pipeline.properties

5
ci/pipeline.properties

@ -14,11 +14,12 @@ docker.mongodb.8.0.version=8.0.9 @@ -14,11 +14,12 @@ 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.redis.8.version=8.2.2
docker.valkey.8.version=8.1.1
# Docker environment settings
docker.java.inside.basic=-v $HOME:/tmp/jenkins-home
docker.java.inside.docker=-u root -v /var/run/docker.sock:/var/run/docker.sock -v /usr/bin/docker:/usr/bin/docker -v $HOME:/tmp/jenkins-home
docker.java.inside.basic=-v $HOME:/tmp/jenkins-home --ulimit nofile=32000:32000
docker.java.inside.docker=-u root -v /var/run/docker.sock:/var/run/docker.sock -v /usr/bin/docker:/usr/bin/docker -v $HOME:/tmp/jenkins-home --ulimit nofile=32000:32000
# Credentials
docker.registry=

Loading…
Cancel
Save