bigeasy
/
proof
/
755
100%
|
Ran
|
Jobs
3
|
Files
26
|
Run time
31s
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
bigeasy305 of 306 branches covered (99.67%)
Branch coverage included in aggregate %.
2 of 2 new or added lines in 1 file covered. (100.0%)
617 of 618 relevant lines covered (99.84%)
78.29 hits per line
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 755.1 | 0 |
99.78 |
Travis Job 755.1 | |
| 2 | 755.2 | 0 |
99.78 |
Travis Job 755.2 | |
| 3 | 755.3 | 0 |
99.78 |
Travis Job 755.3 |
