3
32%
master: 32%

Ran 30 Nov 2018 06:46AM UTC

Files 45

Run time 3s

Badge

Committed 30 Nov 2018 06:38AM UTC coverage: 95.918%. Remained the same

Build Type

push

travis-ci

Committed by

Commit Message

Upgrade `proof` to 5.0.x.

Run Details

208 of 232 branches covered (89.66%)

1081 of 1127 relevant lines covered (95.92%)

2.71 hits per line