update coverage badge