mirror of
https://gitlab.archlinux.org/archlinux/infrastructure.git
synced 2026-08-02 20:44:08 +02:00
Killing a build when it runs out of memory is better then having the whole machine trash.
Killing a build when it runs out of memory is better then having the whole machine trash.