use redis-cli 7 instead of 6

mittwald · Feb 5, 2025 · d2e2ce4 · d2e2ce4
1 parent 4c2f2ed
commit d2e2ce4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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}