diff options
author | Junio C Hamano <gitster@pobox.com> | 2021-10-12 23:51:31 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2021-10-12 23:51:31 +0300 |
commit | 7bdcb8ef1f8a6deb78adfeaf67b8dd1e9c7e4ff0 (patch) | |
tree | d44d408a4ee7ef567bb42b537a132e0d84be401d /Documentation | |
parent | 6a4fd600f4e0da83509a16bb92a2e49d02bfffdb (diff) | |
parent | cebead1ebfb8f6c78097173749596cb9604776d9 (diff) |
Merge branch 'cb/ci-build-pedantic' into maint
CI update.
* cb/ci-build-pedantic:
ci: run a pedantic build as part of the GitHub workflow
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions