get redis-server from distro

simpler
jupyterhub · Jan 19, 2024 · 5cbddca · 5cbddca
1 parent ebf999e
commit 5cbddca
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -84,12 +84,8 @@ jobs:
 
       - name: Install redis
         if: matrix.backend == 'redis'
-        # from https://redis.io/docs/install/install-redis/install-redis-on-linux/
         run: |
-          curl -fsSL https://packages.redis.io/gpg | sudo gpg --dearmor -o /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 -y update
-          sudo apt-get -y install redis
+          sudo apt-get -y install redis-server
 
       - name: Select tests
         run: |