319
100%

Ran 28 Feb 2019 11:53AM UTC

Jobs 3

Files 1

Run time 20s

Badge

Build # 319

Build Type

push

travis-ci

Committed by

Commit Message

Upgrade `proof` to 7.0.x.

Run Details

46 of 46 branches covered (100.0%)

129 of 129 relevant lines covered (100.0%)

65.65 hits per line

ID	Job ID	Ran	Coverage
1	319.1	28 Feb 2019 11:53AM UTC	100.0	Travis Job 319.1
2	319.2	28 Feb 2019 11:53AM UTC	100.0	Travis Job 319.2
3	319.3	28 Feb 2019 11:53AM UTC	100.0	Travis Job 319.3