5eqn
/
proof-cat
/
7679083276
56%
main: %
main: %
|
Ran
|
Jobs
1
|
Files
99
|
Run time
5s
|
Badge
Embed ▾
README BADGES
|
coverage: 55.983%. First build
github
5eqn120 of 235 branches covered (0.0%)
Branch coverage included in aggregate %.
273 of 467 relevant lines covered (58.46%)
3.48 hits per line
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 7679083276.1 | 0 |
55.98 |
GitHub Action Run |
Source Files on build 7679083276
Detailed source file information is not available for this build.