From 94bfd815112d17a866aef173fc92b1bc43c987d9 Mon Sep 17 00:00:00 2001 From: Mark Paluch Date: Mon, 14 Jun 2021 10:12:43 +0200 Subject: [PATCH] Upgrade to Redis 6.2.4. Closes #2085 --- Makefile | 2 +- ci/openjdk11-redis-6.2/Dockerfile | 2 +- ci/openjdk16-redis-6.2/Dockerfile | 2 +- ci/openjdk8-redis-6.2/Dockerfile | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/Makefile b/Makefile index abb1a4320..e0e497591 100644 --- a/Makefile +++ b/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 diff --git a/ci/openjdk11-redis-6.2/Dockerfile b/ci/openjdk11-redis-6.2/Dockerfile index 5ab4fd42c..0508163f1 100644 --- a/ci/openjdk11-redis-6.2/Dockerfile +++ b/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/*; diff --git a/ci/openjdk16-redis-6.2/Dockerfile b/ci/openjdk16-redis-6.2/Dockerfile index 6c1beba8f..9f52fe183 100644 --- a/ci/openjdk16-redis-6.2/Dockerfile +++ b/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/*; diff --git a/ci/openjdk8-redis-6.2/Dockerfile b/ci/openjdk8-redis-6.2/Dockerfile index 7181f3903..5ef72c515 100644 --- a/ci/openjdk8-redis-6.2/Dockerfile +++ b/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/*;