From 790ae3a467ff673173ea3052065fa97f3e807817 Mon Sep 17 00:00:00 2001 From: Mark Paluch Date: Tue, 9 Dec 2025 14:20:43 +0100 Subject: [PATCH] Poke CI. --- ci/pipeline.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/pipeline.properties b/ci/pipeline.properties index ed898052b..ae2bb4889 100644 --- a/ci/pipeline.properties +++ b/ci/pipeline.properties @@ -18,7 +18,7 @@ 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.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=