Remove redis

Author: lsbardel

.github/workflows/build.yml

@@ -10,16 +10,6 @@ on:
 jobs:
   build:
     runs-on: ubuntu-latest
-    services:
-      redis:
-        image: redis:7
-        ports:
-          - 6379:6379
-        options: >-
-          --health-cmd "redis-cli ping"
-          --health-interval 10s
-          --health-timeout 5s
-          --health-retries 5
     env:
       PYTHON_ENV: ci
       GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}