Upgrade to Redis 6.2.4.

Closes #2085

Author: mp911de

Makefile

@@ -12,7 +12,7 @@
 # See the License for the specific language governing permissions and
 # limitations under the License.
 
-REDIS_VERSION:=6.0.8
+REDIS_VERSION:=6.2.4
 SPRING_PROFILE?=ci
 SHELL=/bin/bash -euo pipefail
 

ci/openjdk11-redis-6.2/Dockerfile

@@ -6,7 +6,7 @@ COPY ./Makefile /
 RUN set -eux; \
 	apt-get update ; \
 	apt-get install -y build-essential ; \
-	make work/redis/bin/redis-cli work/redis/bin/redis-server REDIS_VERSION=6.2.1; \
+	make work/redis/bin/redis-cli work/redis/bin/redis-server REDIS_VERSION=6.2.4; \
 	chmod -R o+rw work; \
 	apt-get clean; \
 	rm -rf /var/lib/apt/lists/*;

ci/openjdk16-redis-6.2/Dockerfile

@@ -6,7 +6,7 @@ COPY ./Makefile /
 RUN set -eux; \
 	apt-get update ; \
 	apt-get install -y build-essential ; \
-	make work/redis/bin/redis-cli work/redis/bin/redis-server REDIS_VERSION=6.2.1; \
+	make work/redis/bin/redis-cli work/redis/bin/redis-server REDIS_VERSION=6.2.4; \
 	chmod -R o+rw work; \
 	apt-get clean; \
 	rm -rf /var/lib/apt/lists/*;

ci/openjdk8-redis-6.2/Dockerfile

@@ -6,7 +6,7 @@ COPY ./Makefile /
 RUN set -eux; \
 	apt-get update ; \
 	apt-get install -y build-essential ; \
-	make work/redis/bin/redis-cli work/redis/bin/redis-server REDIS_VERSION=6.2.1; \
+	make work/redis/bin/redis-cli work/redis/bin/redis-server REDIS_VERSION=6.2.4; \
 	chmod -R o+rw work; \
 	apt-get clean; \
 	rm -rf /var/lib/apt/lists/*;