Run coverage on every commit
Description
Runs coverage checks as part of post-commit testing. Gitlab automatically stores the coverage statistics that this generates.
Checklist
This MR does not change any of the source code in the repository, so no changes to benchmarks, tests, or documentation were required.