fix coverage badge

[ci skip]