55
100%

Ran 06 Apr 2017 05:33PM UTC

Jobs 5

Files 1

Run time 2min

Badge

Build # 55

Build Type

push

travis-ci

Committed by

Commit Message

Upgrade `proof` to 3.0.x.

Run Details

16 of 16 branches covered (100.0%)

40 of 40 relevant lines covered (100.0%)

25.15 hits per line

ID	Job ID	Ran	Coverage
1	55.1	06 Apr 2017 05:33PM UTC	100.0	Travis Job 55.1
2	55.2	06 Apr 2017 05:33PM UTC	100.0	Travis Job 55.2
3	55.3	06 Apr 2017 05:34PM UTC	100.0	Travis Job 55.3
4	55.4	06 Apr 2017 05:35PM UTC	100.0	Travis Job 55.4
5	55.5	06 Apr 2017 05:35PM UTC	100.0	Travis Job 55.5

Detailed source file information is not available for this build.