Add Redis server

TODO - set proper hostname..

Author: colinmollenhour

.github/workflows/php.yml

@@ -13,6 +13,14 @@ jobs:
   build:
 
     runs-on: ubuntu-latest
+    services:
+      redis:
+        image: redis
+        options: >-
+          --health-cmd "redis-cli ping"
+          --health-interval 10s
+          --health-timeout 5s
+          --health-retries 5
 
     steps:
     - uses: actions/checkout@v4