3
100%
master: 100%

Ran 02 Mar 2019 12:03PM UTC

Files 6

Run time 1s

Badge

Committed 02 Mar 2019 11:53AM UTC coverage: 100.0%. Remained the same

Build Type

push

travis-ci

Committed by

Commit Message

Upgrade `proof` to 7.0.x.

Run Details

294 of 294 branches covered (100.0%)

620 of 620 relevant lines covered (100.0%)

121.22 hits per line