CI: Require Arch Linux CI to succeed
Passed
Ludovico de Nittis
created pipeline for commit
885a3ff5
, finished
Related merge request !250 to merge wip/arch_ci_works
9 minutes 39 seconds, queued for 553 seconds