coverage: run without deprecated --batch option#6752
Merged
alyssawilk merged 1 commit intoenvoyproxy:masterfrom Apr 30, 2019
Merged
coverage: run without deprecated --batch option#6752alyssawilk merged 1 commit intoenvoyproxy:masterfrom
--batch option#6752alyssawilk merged 1 commit intoenvoyproxy:masterfrom