Ran
|
Jobs
1
|
Files
79
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
push
github
4 of 5 new or added lines in 1 file covered. (80.0%)
433 existing lines in 5 files now uncovered.56998 of 62226 relevant lines covered (91.6%)
670281.55 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
96.18 |
-0.03% | src/names.c |
Lines | Coverage | ∆ | File |
---|---|---|---|
3 |
94.89 |
0.01% | src/simp.c |
44 |
94.31 |
1.37% | src/elab.c |
48 |
96.18 |
-0.03% | src/names.c |
71 |
96.78 |
0.01% | src/lower.c |
267 |
94.69 |
0.01% | src/parse.c |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 10030281569.1 | 79 |
91.6 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|