From 79321965f81630aa3649db1ab2a56b07f04452a8 Mon Sep 17 00:00:00 2001 From: Mark Paluch Date: Wed, 10 Dec 2025 08:34:38 +0100 Subject: [PATCH] Update CI Properties. See #3196 --- ci/pipeline.properties | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ci/pipeline.properties b/ci/pipeline.properties index 8dd2295ac..d7277c46d 100644 --- a/ci/pipeline.properties +++ b/ci/pipeline.properties @@ -17,8 +17,8 @@ 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 -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=