Cobertura conciseness and summary option#1180

Open

rshearman wants to merge 5 commits intomozilla:masterfrom rshearman:cobertura-summary

+201-25

Commits on Mar 27, 2024

Make output of plain lines in cobertura reports more concise
rshearman
committed

Commits on Apr 8, 2024

Commits on Sep 24, 2024

Merge branch 'master' into cobertura-summary
marco-c
authored

Commits on Sep 25, 2024

Merge branch 'master' into cobertura-summary
marco-c
authored