update coverage information (#4813)
Co-authored-by: SonarTech <sonartech@sonarsource.com>
This commit is contained in:
parent
0a35748341
commit
3b7ef14b40
Co-authored-by: SonarTech <sonartech@sonarsource.com>