327
100%

Ran 02 Mar 2019 09:17AM UTC

Jobs 3

Files 4

Run time 1min

Badge

Build # 327

Build Type

push

travis-ci

Committed by

Commit Message

Upgrade `proof` to 7.0.x.

Run Details

98 of 98 branches covered (100.0%)

238 of 238 relevant lines covered (100.0%)

18.61 hits per line

ID	Job ID	Ran	Coverage
1	327.1	02 Mar 2019 09:17AM UTC	100.0	Travis Job 327.1
2	327.2	02 Mar 2019 09:17AM UTC	100.0	Travis Job 327.2
3	327.3	02 Mar 2019 09:18AM UTC	100.0	Travis Job 327.3