178
100%

Ran 26 Nov 2018 08:45AM UTC

Jobs 3

Files 4

Run time 5s

Badge

Build # 178

Build Type

push

travis-ci

Committed by

Commit Message

Upgrade `proof` to 5.0.x.

Run Details

35 of 35 branches covered (100.0%)

97 of 97 relevant lines covered (100.0%)

15.56 hits per line

ID	Job ID	Ran	Coverage
1	178.1	26 Nov 2018 08:45AM UTC	100.0	Travis Job 178.1
2	178.2	26 Nov 2018 08:45AM UTC	100.0	Travis Job 178.2
3	178.3	26 Nov 2018 08:45AM UTC	100.0	Travis Job 178.3