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

• Contribution meets RAL's licence terms
• Contribution conforms to RAL's directory structure

This MR does not change any of the source code in the repository, so no changes to benchmarks, tests, or documentation were required.