gitlab-ci: Check coverage of GHC flags in users guide

This ensures that all GHC flags are documented during the documentation
build.

Fixes #17315.
21 jobs for master in 1 minute and 3 seconds (queued for 11 seconds)
Status Job ID Name Coverage
  Lint
passed #173264
lint
lint-linters

00:00:18

failed #173267
lint
lint-submods-branch

00:00:21

passed #173265
lint
lint-testsuite

00:00:19

passed #173266
lint
typecheck-testsuite

00:00:17

 
  Build
skipped #173269
x86_64-linux
hadrian-ghc-in-ghci
skipped #173271
x86_64-linux
release-x86_64-linux-deb9-dwarf
skipped #173270
x86_64-linux
validate-x86_64-linux-deb9-debug
skipped #173268
x86_64-linux
validate-x86_64-linux-deb9-hadrian
 
  Full Build
skipped #173273
aarch64-linux allowed to fail
validate-aarch64-linux-deb9
skipped #173274
x86_64-linux
validate-i386-linux-deb9
skipped #173272
x86_64-darwin
validate-x86_64-darwin
skipped #173275
x86_64-linux
validate-x86_64-linux-deb9-integer-simple
skipped #173276
x86_64-linux
validate-x86_64-linux-deb9-unreg
skipped #173277
x86_64-linux
validate-x86_64-linux-fedora27
skipped #173279
x86_64-windows allowed to fail
validate-x86_64-windows
skipped #173278
x86_64-windows allowed to fail
validate-x86_64-windows-hadrian
 
  Cleanup
passed #173280
x86_64-darwin
cleanup-darwin

00:00:05

 
  Packaging
skipped #173281
x86_64-linux allowed to fail
doc-tarball
 
  Testing
skipped #173282
x86_64-linux allowed to fail manual
hackage
skipped #173283
x86_64-linux
perf-nofib
 
  Deploy
skipped #173284
x86_64-linux allowed to fail
pages
 
Name Stage Failure
failed
lint-submods-branch Lint
Fetching origin
Entering 'utils/haddock'
Fetching origin
Entering 'utils/hsc2hs'
Fetching origin
$ submodchecker .git $(git rev-list $CI_COMMIT_BEFORE_SHA..$CI_COMMIT_SHA)
Submodule update(s) detected in 98c094227c7738a65dfc5908b3397d7275e56ea1:
*FAIL* commit message does not contain magic 'submodule' word
ERROR: Job failed: exit code 1