update redis

Author: fffunke

.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:7.2.5-1rl1~noble1
+        sudo apt-get install redis-tools=5:7.0.15-1build2
         redis-cli --version
 
     - name: install mongodb