5eqn
/
proof-cat
/
7685020290
56%
main: %
main: %
|
Ran
|
Jobs
1
|
Files
99
|
Run time
5s
|
Badge
Embed ▾
README BADGES
|
coverage: 55.807%. First build
github
web-flow117 of 232 branches covered (0.0%)
Branch coverage included in aggregate %.
277 of 474 relevant lines covered (58.44%)
3.48 hits per line
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 7685020290.1 | 0 |
55.81 |
GitHub Action Run |
Source Files on build 7685020290
Detailed source file information is not available for this build.