89
100%

Ran 02 Mar 2019 08:18AM UTC

Jobs 3

Files 7

Run time 1min

Badge

Build # 89

Build Type

push

travis-ci

Committed by

Commit Message

Upgrade `proof` to 7.0.x.

Run Details

22 of 22 branches covered (100.0%)

150 of 150 relevant lines covered (100.0%)

9.65 hits per line

ID	Job ID	Ran	Coverage
1	89.1	02 Mar 2019 08:18AM UTC	100.0	Travis Job 89.1
2	89.2	02 Mar 2019 08:18AM UTC	100.0	Travis Job 89.2
3	89.3	02 Mar 2019 08:19AM UTC	100.0	Travis Job 89.3