140
100%

Ran 20 Mar 2017 05:05AM UTC

Jobs 4

Files 5

Run time 32s

Badge

Build # 140

Build Type

push

travis-ci

Committed by

Commit Message

Pin Proof to minor version.

Run Details

82 of 89 branches covered (92.13%)

212 of 217 relevant lines covered (97.7%)

60.2 hits per line

ID	Job ID	Ran	Coverage
2	140.2	20 Mar 2017 05:05AM UTC	97.7	Travis Job 140.2
3	140.3	20 Mar 2017 05:06AM UTC	97.7	Travis Job 140.3
4	140.4	20 Mar 2017 05:06AM UTC	97.7	Travis Job 140.4
5	140.5	20 Mar 2017 05:06AM UTC	97.7	Travis Job 140.5

Detailed source file information is not available for this build.