mirror of
https://github.com/php/php-src.git
synced 2026-04-04 06:32:49 +02:00
Some jobs on GA apparently consume a lot of CPU resources, possibly hindering communication between master and runner. This only seems to happen on Linux+ASAN and macOS. For these jobs, keep one core idle. Closes GH-12742