52
0%

Ran 06 Apr 2017 05:02PM UTC

Jobs 5

Files 2

Run time 1min

Badge

Build # 52

Build Type

push

travis-ci

Committed by

Commit Message

Upgrade `proof` to 3.0.x.

Run Details

0 of 14 branches covered (0.0%)

36 of 96 relevant lines covered (37.5%)

1.88 hits per line

ID	Job ID	Ran	Coverage
1	52.1	06 Apr 2017 05:02PM UTC	37.5	Travis Job 52.1
2	52.2	06 Apr 2017 05:02PM UTC	37.5	Travis Job 52.2
3	52.3	06 Apr 2017 05:02PM UTC	37.5	Travis Job 52.3
4	52.4	06 Apr 2017 05:02PM UTC	37.5	Travis Job 52.4
5	52.5	06 Apr 2017 05:03PM UTC	37.5	Travis Job 52.5

Detailed source file information is not available for this build.