Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix coverage exclusion syntax #6241

Merged
merged 7 commits into from
Aug 18, 2023
Merged

Fix coverage exclusion syntax #6241

merged 7 commits into from
Aug 18, 2023

Commits on Aug 16, 2023

  1. Replace opt out comment with the stock coverage one 

    Use `# pragma: no cover` instead of `coverage: ignore`.
The pragma format is understood by coverage and codecov.
    @pavoljuhas
    pavoljuhas committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    625e7d3 View commit details
    Browse the repository at this point in the history

  2. Fix all coverage-exclusion comments 

    Use `# pragma: no cover`.
    @pavoljuhas
    pavoljuhas committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    b2ddbbf View commit details
    Browse the repository at this point in the history

  3. Add missing space to coverage-exclusion comment

    @pavoljuhas
    pavoljuhas committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    15d428c View commit details
    Browse the repository at this point in the history

  4. Format modified files

    @pavoljuhas
    pavoljuhas committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    81ecbd5 View commit details
    Browse the repository at this point in the history

  5. Fix placement of # pragma: no cover markup comments 

    * must be either on the affected line or at the preceding block
* remove no-cover comments for code that is covered
* remove unnecessary no-cover duplication
    @pavoljuhas
    pavoljuhas committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    ea88925 View commit details
    Browse the repository at this point in the history

Commits on Aug 18, 2023

  1. Merge branch 'master' into fix-coverage-exclusion

    @pavoljuhas
    pavoljuhas committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    4e708d5 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into fix-coverage-exclusion

    @pavoljuhas
    pavoljuhas committed Aug 18, 2023
    Configuration menu
    Copy the full SHA
    36b8150 View commit details
    Browse the repository at this point in the history