Skip to content

Add coverage reporting and publish the real numbers - #1

Merged
Bruce1508 merged 2 commits into
mainfrom
coverage-reporting
Sep 11, 2026
Merged

Bruce1508 merged 2 commits into
mainfrom
coverage-reporting

Gate CI on backend coverage so the published number can't drift

b50a778
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar