From d2e2ce4684a149d7481ade335052ff21f2f60c37 Mon Sep 17 00:00:00 2001 From: Florian Funke Date: Wed, 5 Feb 2025 10:26:43 +0100 Subject: [PATCH] use redis-cli 7 instead of 6 --- .github/workflows/build.yaml | 2 +- build/docker/Dockerfile | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index 9c05254..39d10a6 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/build.yaml @@ -44,7 +44,7 @@ jobs: sudo chmod 644 /usr/share/keyrings/redis-archive-keyring.gpg echo "deb [signed-by=/usr/share/keyrings/redis-archive-keyring.gpg] https://packages.redis.io/deb $(lsb_release -cs) main" | sudo tee /etc/apt/sources.list.d/redis.list sudo apt-get update - sudo apt-get install redis-tools=6:6.2.15-1rl1~noble1 + sudo apt-get install redis-tools=6:7.2.5-1rl1~noble1 redis-cli --version - name: install mongodb diff --git a/build/docker/Dockerfile b/build/docker/Dockerfile index c3e4a43..26dffb8 100644 --- a/build/docker/Dockerfile +++ b/build/docker/Dockerfile @@ -31,7 +31,7 @@ RUN curl -fsSL https://packages.redis.io/gpg | gpg --dearmor -o /usr/sha sudo chmod 644 /usr/share/keyrings/redis-archive-keyring.gpg && \ echo "deb [signed-by=/usr/share/keyrings/redis-archive-keyring.gpg] https://packages.redis.io/deb $(lsb_release -cs) main" | tee /etc/apt/sources.list.d/redis.list && \ apt-get update && \ - apt-get install redis-tools=6:6.2.15-1rl1~noble1 + apt-get install redis-tools=6:7.2.5-1rl1~noble1 USER ${BRUDI_USER}