Ran
|
Jobs
1
|
Files
79
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
push
github
18 of 19 new or added lines in 4 files covered. (94.74%)
312 existing lines in 5 files now uncovered.53591 of 58454 relevant lines covered (91.68%)
652047.2 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
96.48 |
-0.04% | src/vcode.c |
Lines | Coverage | ∆ | File |
---|---|---|---|
7 |
74.83 |
-1.21% | src/server.c |
21 |
91.97 |
0.07% | src/elab.c |
85 |
96.84 |
0.02% | src/sem.c |
94 |
96.09 |
0.0% | src/names.c |
105 |
57.41 |
-0.09% | src/dump.c |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 8961165406.1 | 79 |
91.68 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|