Merge branch 'cb/ci-build-pedantic'

CI update. * cb/ci-build-pedantic: ci: run a pedantic build as part of the GitHub workflow

Junio C Hamano committed Sep 10, 2021 at 11:46 UTC 613204b9487692d0bfe15c66f3ef17ba1baeca36

No changes.