tree d44d408a4ee7ef567bb42b537a132e0d84be401d
parent 6a4fd600f4e0da83509a16bb92a2e49d02bfffdb
parent cebead1ebfb8f6c78097173749596cb9604776d9
author Junio C Hamano <gitster@pobox.com> 1634071891 -0700
committer Junio C Hamano <gitster@pobox.com> 1634071891 -0700

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