mirror of
https://gitlab.archlinux.org/archlinux/infrastructure.git
synced 2026-11-06 18:28:53 +01: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.