mirror of
https://gitlab.archlinux.org/archlinux/infrastructure.git
synced 2026-09-19 07:29:04 +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.