From bcb4fd1d74af54703f8c5594c9cc3fe88c74c7b8 Mon Sep 17 00:00:00 2001 From: Mark Paluch Date: Thu, 8 Aug 2024 15:05:27 +0200 Subject: [PATCH] CI ping. --- ci/openjdk21-redis-6.2/Dockerfile | 1 + 1 file changed, 1 insertion(+) diff --git a/ci/openjdk21-redis-6.2/Dockerfile b/ci/openjdk21-redis-6.2/Dockerfile index 3505e2dde..ea08b24be 100644 --- a/ci/openjdk21-redis-6.2/Dockerfile +++ b/ci/openjdk21-redis-6.2/Dockerfile @@ -7,6 +7,7 @@ ENV VERSION=${VERSION} # Copy Spring Data Redis's Makefile into the container COPY ./Makefile / + RUN set -eux; \ # sed -i -e 's/http/https/g' /etc/apt/sources.list ; \ apt-get update ; \