Add coverage badge [ci skip]