Skip to content

ci: publish per-crate line counts on the coverage badge - #917

Merged
reardencode merged 1 commit into
masterfrom
ci/coverage-crates
Oct 5, 2026
Merged

reardencode merged 1 commit into
masterfrom
ci/coverage-crates

Conversation

@rearden-grok

@rearden-grok rearden-grok Bot commented Oct 5, 2026

Copy link
Copy Markdown
Contributor

The Shields badge stays the workspace total. badges/coverage.json now also lists each production crate (name, lh, lf, pct) from the same filtered LCOV the 92% gate already sums.

Those rows have to add up to the badge totals, or the coverage job fails. Lines outside crates/<name>/ fail the same way. A red pull request still does not publish, and coverage-history.jsonl still records only the workspace total.

rbitcoin.org reads this file for the security-page summary. That site change is a separate unpushed commit, not part of this pull request. Until this lands on master and a green coverage run publishes, the page shows the total without the crate list.

The Shields badge stays the workspace total. The same JSON now lists each
production crate from the filtered LCOV, and the coverage job fails when
those rows do not add up to the badge.
@reardencode
reardencode merged commit ee81f8a into master Oct 5, 2026
18 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant