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

Junio C Hamano committed Oct 12, 2021 at 13:51 UTC 7bdcb8ef1f8a6deb78adfeaf67b8dd1e9c7e4ff0

No changes.