Differential Code Coverage report for Postgres

Hi,

I have been working on generating differential code coverage for
Postgres and was able to do so with this script [1]. The script checks
out HEAD and the latest release branch (currently REL_18_STABLE), then
generates a differential coverage report.

I also set up a GitHub Action so the report is updated daily and
published as HTML here [2].

I thought this might be useful to share, and I would be happy to hear
any feedback or suggestions.

CC’ing Álvaro since he had asked about this previously.

[1] https://github.com/nbyavuz/postgres-code-coverage/blob/main/code_coverage.sh
[2] https://nbyavuz.github.io/postgres-code-coverage

--
Regards,
Nazir Bilal Yavuz
Microsoft