73
100%

Ran 03 Oct 2016 03:02PM UTC

Jobs 5

Files 1

Run time 1min

Badge

Build # 73

Build Type

push

travis-ci

Committed by

Commit Message

Upgrade Proof to 1.2.x.

Run Details

24 of 24 relevant lines covered (100.0%)

20.63 hits per line

ID	Job ID	Ran	Coverage
1	73.1	03 Oct 2016 03:02PM UTC	100.0	Travis Job 73.1
2	73.2	03 Oct 2016 03:02PM UTC	100.0	Travis Job 73.2
3	73.3	03 Oct 2016 03:02PM UTC	100.0	Travis Job 73.3
4	73.4	03 Oct 2016 03:03PM UTC	100.0	Travis Job 73.4
5	73.5	03 Oct 2016 03:03PM UTC	100.0	Travis Job 73.5