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

(that is, from time to time, hope I won’t forget)
20 jobs for master in 14 minutes and 49 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #14138
docker
build:1

00:02:26

22.5%
passed #14139
docker
build:2

00:02:47

22.4%
passed #14140
docker
build:3

00:02:55

22.7%
passed #14141
docker
build:4

00:02:12

17.3%
passed #14142
docker
build:5

00:02:35

22.8%
passed #14143
docker
build:6

00:02:20

22.9%
passed #14136
docker
build:alpine

00:02:16

manual #14137
armv7l allowed to fail manual
build:archlinux
passed #14135
docker
build:debian

00:03:04

29.7%
passed #14134
docker
build:fedora

00:02:46

22.0%
passed #14144
docker
build:without_udns

00:02:24

22.4%
 
  Test
passed #14148
docker
test:alpine

00:03:31

passed #14145
docker
test:debian

00:03:28

65.0%
passed #14146
docker
test:fedora

00:03:06

85.7%
passed #14149
freebsd
test:freebsd

00:03:19

passed #14147
docker
test:without_udns

00:03:05

85.7%
 
  Packaging
passed #14152
docker allowed to fail
packaging:archlinux

00:05:45

passed #14151
docker allowed to fail
packaging:deb

00:03:53

passed #14150
docker allowed to fail
packaging:rpm

00:01:15

 
  External
manual #14153
docker allowed to fail manual
coverity