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
Set run_coverage.py perms to executable
  • Loading branch information
@gmarkall
gmarkall committed May 16, 2022
commit 32399e1e89474b7e73c89ecb575b1dd94bd3dbc2
Empty file modified run_coverage.py
100644 → 100755
View file
Open in desktop
Empty file.