[9.18] Resolve "Emit coverage summary for the coverage badge"

Backport of MR !7587 (merged)

Closes #3894 (closed)

Edited by Mark Andrews

Merge request reports