Repository navigation

Add coverage reporting and publish the real numbers - #1

Merged

Bruce1508 merged 2 commits into

mainfrom

coverage-reporting

Sep 11, 2026

Commits on Sep 11, 2026
- Add coverage reporting and publish the real numbers
  
  Bruce1508
  and
  claude
  committed
  ff7776f
- Gate CI on backend coverage so the published number can't drift
  
  Bruce1508
  and
  claude
  committed
  b50a778