gitlab-ci: add job to run `make check-docs`

Add another job to execute `make check-docs`, which lints our documentation and makes sure that expected manpages exist. This job mirrors the same job that we already have for GitHub Actions. Signed-off-by: Patrick Steinhardt <ps@pks.im> Signed-off-by: Junio C Hamano <gitster@pobox.com>

Patrick Steinhardt committed Jun 6, 2024 at 10:01 UTC 401151de9e58f5da7dd6c3d6ce1ffba94c0ed740
1 file changed +9
.gitlab-ci.yml
+9
@@ -122,3 +122,12 @@ check-whitespace:
122 - ./ci/check-whitespace.sh "$CI_MERGE_REQUEST_TARGET_BRANCH_SHA"
123 rules:
124 - if: $CI_PIPELINE_SOURCE == 'merge_request_event'
125 +
126 +documentation:
127 + image: ubuntu:latest
128 + variables:
129 + jobname: Documentation
130 + before_script:
131 + - ./ci/install-dependencies.sh
132 + script:
133 + - ./ci/test-documentation.sh