Updated the Redis name

Author: jb-lopez

.github/workflows/phpredis.yml

@@ -13,7 +13,7 @@ jobs:
         version: ["8.0", "8.1", "8.2"]
         ts: ["ts", "nts"]
         arch: ["x64"]
-        name: ["phpredis"]
+        name: ["redis"]
         repo: ["phpredis/phpredis"]
         enable: ["enable-redis"]
         include: