bigeasy
/
proof
/
748
100%
|
Ran
|
Jobs
3
|
Files
26
|
Run time
59s
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
bigeasy304 of 304 branches covered (100.0%)
Branch coverage included in aggregate %.
616 of 616 relevant lines covered (100.0%)
78.35 hits per line
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 748.1 | 0 |
100.0 |
Travis Job 748.1 | |
| 2 | 748.2 | 0 |
100.0 |
Travis Job 748.2 | |
| 3 | 748.3 | 0 |
100.0 |
Travis Job 748.3 |
