Skip to content

Add profile to generate a coverage report #140

Closed
#141
Closed
Add profile to generate a coverage report#140
#141

Description

@ppkarwasz
ppkarwasz
opened on Mar 19, 2024

While we don't check test coverage very often, it is sometimes useful to generate a coverage report, when evaluating PRs.

Activity

  1. ppkarwasz
    added this to the milestone on Mar 19, 2024
  2. ppkarwasz
    closed this as completedin #141on Mar 25, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions