Skip to content

Fix coverage checking #8057

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

Merged
esc merged 7 commits into from
May 18, 2022
Merged

Fix coverage checking #8057

Changes from 1 commit
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
6ae190f
Fix coverage
gmarkall May 16, 2022
32399e1
Set run_coverage.py perms to executable
gmarkall May 16, 2022
4f0091d
Add rudimentary usage and argument check
gmarkall May 16, 2022
5bbcfa1
Remove coverage script
gmarkall May 18, 2022
0f11ba0
Remove duplicate version of old coverage config file
gmarkall May 18, 2022
3f97b89
Document how to measure coverage
gmarkall May 18, 2022
07da5b8
Remove run_coverage.py from repomap
gmarkall May 18, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Remove coverage script 
Due to various slight oddities in `numba._runtests._main()`'s handling
of arguments, it's actually hard to make this script work robustly
across platforms and different invocation methods. Instead it would be
better to document how to use the `coverage` CLI tool, as is done in
practice by maintainers when investigating coverage.
  • Loading branch information
@gmarkall
gmarkall committed May 18, 2022
commit 5bbcfa17aa2043f23c7d3bf3c794fb1d454b4e80
57 changes: 0 additions & 57 deletions run_coverage.py
View file
Open in desktop

This file was deleted.