39
99%

Ran 17 Aug 2016 03:11AM UTC

Jobs 4

Files 4

Run time 23s

Badge

Build # 39

Build Type

push

travis-ci

Committed by

Commit Message

Upgrade Proof to 1.1.x.

Run Details

131 of 132 relevant lines covered (99.24%)

23.36 hits per line

ID	Job ID	Ran	Coverage
2	39.2	17 Aug 2016 03:11AM UTC	99.24	Travis Job 39.2
3	39.3	17 Aug 2016 03:11AM UTC	99.24	Travis Job 39.3
4	39.4	17 Aug 2016 03:11AM UTC	99.24	Travis Job 39.4
5	39.5	17 Aug 2016 03:11AM UTC	99.24	Travis Job 39.5