Point the coverage badge to branch HEAD, since that's what's reported by the CI