It would be desirable to have a test-coverage job also in the pull-request CI. This way we can note any issue before the pull-request gets merged to main.
I would like to suggest to configure the reponsitory so that "squash" is enforced when merging pull-requests to the main branch (see doc ). I did not notice last time and all my individual commits ended up in main which IMO added unnecessary noise to the history of this branch.
Addresses test-coverage failure in main's CI and other minor fixes:
NOTE to repo owners:
main
.main
branch (see doc ). I did not notice last time and all my individual commits ended up inmain
which IMO added unnecessary noise to the history of this branch.