Polishing.

Add missing packages.

See #3136

Author: mp911de

ci/openjdk17-redis-6.2/Dockerfile

@@ -13,7 +13,7 @@ RUN set -eux; \
 	sed -i -e 's/ports.ubuntu.com/mirrors.ocf.berkeley.edu/g' /etc/apt/sources.list && \
 	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; \

ci/openjdk17-redis-7.2/Dockerfile

@@ -13,7 +13,7 @@ RUN set -eux; \
 	sed -i -e 's/ports.ubuntu.com/mirrors.ocf.berkeley.edu/g' /etc/apt/sources.list && \
 	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; \

ci/openjdk17-valkey-8.0/Dockerfile

@@ -15,7 +15,7 @@ RUN set -eux; \
 	sed -i -e 's/ports.ubuntu.com/mirrors.ocf.berkeley.edu/g' /etc/apt/sources.list && \
 	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/valkey/bin/valkey-cli work/valkey/bin/valkey-server VERSION=${VERSION}; \
 	chmod -R o+rw work; \
 	apt-get clean; \