mirror of
https://github.com/phpredis/phpredis.git
synced 2026-06-19 07:35:31 +00:00
60eb01c4dc
Rarely CI hangs forever (or until it hits the maximum workflow execution time) when Redis doesn't come up properly. This just adds a configurable timeout so we can rerun the workflow when it hangs.