diff options
| author | Patrick Steinhardt <ps@pks.im> | 2024-06-06 10:01:10 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2024-06-06 08:20:51 -0700 |
| commit | 401151de9e58f5da7dd6c3d6ce1ffba94c0ed740 (patch) | |
| tree | 809a1d2887165d110393e3eaf3e1c523fcd1cdc6 | |
| parent | 64239209743d4b07518786400290f58d1955eeb9 (diff) | |
| download | git-401151de9e58f5da7dd6c3d6ce1ffba94c0ed740.tar.gz | |
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>
| -rw-r--r-- | .gitlab-ci.yml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index f676959ca0..37b991e080 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -122,3 +122,12 @@ check-whitespace: - ./ci/check-whitespace.sh "$CI_MERGE_REQUEST_TARGET_BRANCH_SHA" rules: - if: $CI_PIPELINE_SOURCE == 'merge_request_event' + +documentation: + image: ubuntu:latest + variables: + jobname: Documentation + before_script: + - ./ci/install-dependencies.sh + script: + - ./ci/test-documentation.sh |