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_12 in 11 minutes and 22 seconds (queued for 1 second)
Status Job ID Name Coverage
  Precheck
passed #70123
amd64 docker linux
precheck:debian:sid:amd64

00:00:19

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

00:03:07

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

00:03:11

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

00:01:21

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

00:02:01

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

00:04:25

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

00:00:45

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

00:03:36

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

00:04:42

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

00:04:57

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

00:04:58

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

00:05:14

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

00:01:01

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

00:01:03

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

00:00:57

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

00:00:56

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

00:00:47