bigeasy
/
proof
/
746
100%
|
Ran
|
Jobs
3
|
Files
26
|
Run time
1min
|
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 | 746.1 | 0 |
100.0 |
Travis Job 746.1 | |
| 2 | 746.2 | 0 |
100.0 |
Travis Job 746.2 | |
| 3 | 746.3 | 0 |
100.0 |
Travis Job 746.3 |
