CI ping.

2024-08-08 15:05:27 +02:00
parent 5c94b65dd7
commit bcb4fd1d74
1 changed files with 1 additions and 0 deletions
--- 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 ; \