Add profile to generate a coverage report #140
Description
While we don't check test coverage very often, it is sometimes useful to generate a coverage report, when evaluating PRs.
{{ message }}
While we don't check test coverage very often, it is sometimes useful to generate a coverage report, when evaluating PRs.