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 /commit-graph.c | |
| parent | 64239209743d4b07518786400290f58d1955eeb9 (diff) | |
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>
Diffstat (limited to 'commit-graph.c')
0 files changed, 0 insertions, 0 deletions