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

Coverage comment #42 #80

Merged
merged 4 commits into from Jul 25, 2022
Merged

Coverage comment #42 #80

merged 4 commits into from Jul 25, 2022

Commits on Jul 19, 2022

  1. Coverage comment #42

    @acocheo
    acocheo committed Jul 19, 2022
    Configuration menu
    Copy the full SHA
    458c31f View commit details
    Browse the repository at this point in the history

  2. Coverage.py comment #42

    @acocheo
    acocheo committed Jul 19, 2022
    Configuration menu
    Copy the full SHA
    8c7eaab View commit details
    Browse the repository at this point in the history

  3. Fix coverage

    @acocheo
    acocheo committed Jul 19, 2022
    Configuration menu
    Copy the full SHA
    f764eeb View commit details
    Browse the repository at this point in the history

  4. Fix coverage

    @acocheo
    acocheo committed Jul 19, 2022
    Configuration menu
    Copy the full SHA
    add1856 View commit details
    Browse the repository at this point in the history