2231
32%

Ran 26 Nov 2018 07:45AM UTC

Jobs 3

Files 45

Run time 54s

Badge

Build # 2231

Build Type

push

travis-ci

Committed by

Commit Message

Upgrade `proof` to 5.0.x.

Run Details

206 of 230 branches covered (89.57%)

1080 of 1126 relevant lines covered (95.91%)

8.18 hits per line

ID	Job ID	Ran	Files	Coverage
1	2231.1	26 Nov 2018 07:46AM UTC	45	95.91	Travis Job 2231.1
2	2231.2	26 Nov 2018 07:46AM UTC	45	95.91	Travis Job 2231.2
3	2231.3	26 Nov 2018 07:45AM UTC	45	95.91	Travis Job 2231.3