443
100%

Ran 02 Mar 2019 08:34AM UTC

Jobs 3

Files 15

Run time 24s

Badge

Build # 443

Build Type

push

travis-ci

Committed by

Commit Message

Upgrade `proof` to 7.0.x.

Run Details

152 of 152 branches covered (100.0%)

430 of 430 relevant lines covered (100.0%)

64.54 hits per line

ID	Job ID	Ran	Coverage
1	443.1	02 Mar 2019 08:34AM UTC	100.0	Travis Job 443.1
2	443.2	02 Mar 2019 08:34AM UTC	100.0	Travis Job 443.2
3	443.3	02 Mar 2019 08:34AM UTC	100.0	Travis Job 443.3