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

Commits

Commits on Sep 30, 2026