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.

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

Already on GitHub? Sign in to your account

Document differences in coverage ignore comments between providers #12836

Merged
merged 4 commits into from May 13, 2022
Merged

Document differences in coverage ignore comments between providers #12836

merged 4 commits into from May 13, 2022

Commits on May 11, 2022

  1. Document rules for ignoring lines

    Documents how to ignore lines for coverage statistics, and the
    differences between providers.
    spenserblack committed May 11, 2022
    Copy the full SHA
    f14e29a View commit details
    Browse the repository at this point in the history
  2. Copy the full SHA
    6d5f94d View commit details
    Browse the repository at this point in the history

Commits on May 12, 2022

  1. Update wording of ignore comment note

    Co-authored-by: Tom Mrazauskas <tom@mrazauskas.de>
    spenserblack and mrazauskas committed May 12, 2022
    Copy the full SHA
    da6ee1b View commit details
    Browse the repository at this point in the history
  2. Move ignore comment note to collectCoverage

    Moves from the note from under the `coverageProvider` section to under
    the `collectCoverage` section.
    
    Co-authored-by: Tom Mrazauskas <tom@mrazauskas.de>
    spenserblack and mrazauskas committed May 12, 2022
    Copy the full SHA
    d66524b View commit details
    Browse the repository at this point in the history