mirror of
https://github.com/php/php-src.git
synced 2026-03-24 00:02:20 +01:00
See ef6bbaa. We previously ran into crashes that are apprently related to a
decrease in memory on never runners. The crash can be avoided by increasing the
swap file.
Closes GH-12267