Skip to content

[Parallel] Terminate timed out and unconnected workers - #8522

Merged
TomasVotruba merged 1 commit into
rectorphp:mainfrom
janwaleed09:fix/parallel-worker-termination
Sep 30, 2026
Merged

TomasVotruba merged 1 commit into
rectorphp:mainfrom
janwaleed09:fix/parallel-worker-termination

[Parallel] Terminate timed out and unconnected workers instead of wai…

54ce386
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
PHP 8.4 tests (ubuntu-latest)
succeeded Sep 30, 2026 in 1m 24s