Skip to content

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

Mark Andrews requested to merge 3894-emit-coverage-summary-for-the-coverage-badge-v9_18 into v9_18

Backport of MR !7587 (merged)

Closes #3894 (closed)

Edited by Mark Andrews

Merge request reports