Generate the ARM during CI

Add a CI job which generates the HTML version of the ARM and makes it
available for download.  Since this is expected to be a quick process,
the new job is enabled for all pipelines.

(cherry picked from commit 3f443468)
17 jobs for 565-generate-the-arm-during-ci-v9_11 in 11 minutes and 40 seconds (queued for 1 second)
Status Job ID Name Coverage
  Precheck
passed #70108
amd64 docker linux
precheck:debian:sid:amd64

00:00:19

 
  Build
passed #70109
amd64 docker linux
build:centos:centos6:amd64

00:02:41

passed #70110
amd64 docker linux
build:centos:centos7:amd64

00:03:20

passed #70152
linux docker amd64
build:debian:sid:amd64

00:01:30

passed #70112
i386 docker linux
build:debian:sid:i386

00:02:04

passed #70111
amd64 docker linux
build:debian:sid:amd64

00:02:20

 
  Test
passed #70155
linux docker amd64
docs:debian:sid:amd64

00:00:45

passed #70122
amd64 docker linux
install:debian:sid:amd64

00:03:04

passed #70118
amd64 docker linux
systemtest:centos:centos6:amd64

00:04:15

passed #70119
amd64 docker linux
systemtest:centos:centos7:amd64

00:04:45

passed #70120
amd64 docker linux
systemtest:debian:sid:amd64

00:05:22

passed #70121
i386 docker linux
systemtest:debian:sid:i386

00:05:39

passed #70114
amd64 docker linux
unittest:centos:centos6:amd64

00:01:18

passed #70115
amd64 docker linux
unittest:centos:centos7:amd64

00:00:58

passed #70116
amd64 docker linux
unittest:debian:sid:amd64

00:00:52

passed #70117
i386 docker linux
unittest:debian:sid:i386

00:00:59

passed #70113
amd64 docker linux
docs:debian:sid:amd64

00:00:48