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

[CI] Improve coverage config #3050

Open
wants to merge 5 commits into
base: main
Choose a base branch
from
Open

[CI] Improve coverage config #3050

wants to merge 5 commits into from

Commits on Feb 18, 2022

  1. Cleanup coverage output

    @abravalheri
    abravalheri committed Feb 18, 2022
    Configuration menu
    Copy the full SHA
    4ea7307 View commit details
    Browse the repository at this point in the history

  2. Produce both coverage reports (XML and term) on CI

    @abravalheri
    abravalheri committed Feb 18, 2022
    Configuration menu
    Copy the full SHA
    08d4c3a View commit details
    Browse the repository at this point in the history

  3. Coverage skip files completely covered in CI

    @abravalheri
    abravalheri committed Feb 18, 2022
    Configuration menu
    Copy the full SHA
    f3b1fc7 View commit details
    Browse the repository at this point in the history

  4. Attempt to simplify configuration for coveragepy 

    Omit path equivalence to see if logs are still usable.
    @abravalheri
    abravalheri committed Feb 18, 2022
    Configuration menu
    Copy the full SHA
    89d696d View commit details
    Browse the repository at this point in the history

  5. Add skip_covered since it is more appropriate for large code bases

    @abravalheri
    abravalheri committed Feb 18, 2022
    Configuration menu
    Copy the full SHA
    4952a1a View commit details
    Browse the repository at this point in the history