491
100%

Ran 02 Mar 2019 11:28AM UTC

Jobs 3

Files 10

Run time 31s

Badge

Build # 491

Build Type

push

travis-ci

Committed by

Commit Message

Upgrade Proof to 7.0.x.

Run Details

31 of 32 branches covered (96.88%)

166 of 166 relevant lines covered (100.0%)

4.39 hits per line

ID	Job ID	Ran	Coverage
1	491.1	02 Mar 2019 11:28AM UTC	100.0	Travis Job 491.1
2	491.2	02 Mar 2019 11:28AM UTC	100.0	Travis Job 491.2
3	491.3	02 Mar 2019 11:28AM UTC	100.0	Travis Job 491.3