Commit 2fe06ffa authored by louiz’'s avatar louiz’

build:archlinux is way too slow, run it only manually

(that is, from time to time, hope I won’t forget)
parent d81a9456
Pipeline #1224 passed with stages
in 14 minutes and 49 seconds