[9.18] Resolve "Emit coverage summary for the coverage badge" (!7628) · Merge requests · ISC Open Source Projects / BIND · GitLab

Merged Mark Andrews requested to merge 3894-emit-coverage-summary-for-the-coverage-badge-v9_18 into v9_18 Feb 28, 2023

Backport of MR !7587 (merged)

Closes #3894 (closed)

Edited Feb 28, 2023 by Mark Andrews