tree 2e487efac0d6eeb4ba76e1c0e5b22262446f664f
parent 9762646ee42b775139b4d519d090808cbdd3bdeb
parent cebead1ebfb8f6c78097173749596cb9604776d9
author Junio C Hamano <gitster@pobox.com> 1631299592 -0700
committer Junio C Hamano <gitster@pobox.com> 1631299592 -0700

Merge branch 'cb/ci-build-pedantic'

CI update.

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