CI ping.

ci/openjdk21-redis-6.2/Dockerfile

@@ -10,7 +10,7 @@ COPY ./Makefile /
 RUN set -eux; \
 #	sed -i -e 's/http/https/g' /etc/apt/sources.list ; \
 	apt-get update ; \
-	apt-get install -y build-essential ; \
+	apt-get install -y build-essential curl; \
 	make work/redis/bin/redis-cli work/redis/bin/redis-server VERSION=${VERSION}; \
 	chmod -R o+rw work; \
 	apt-get clean; \