Skip to content

Run coverage on every commit

Nick Dingle requested to merge dev/cicoverage into main

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.

Merge request reports