Repository navigation

Add CI coverage reporting for backend and frontend - #1315

Merged

dgee2 merged 9 commits into

mainfrom

codex/issue-1158-coverage

Oct 12, 2026

Merged

Add CI coverage reporting for backend and frontend#1315
dgee2 merged 9 commits into
mainfrom
codex/issue-1158-coverage

Commits on Oct 6, 2026
- Add CI coverage reporting for backend and frontend
  
  dgee2
  and
  codex
  committed
  c5715c2
- Fetch trusted coverage script without checkout
  
  dgee2
  and
  codex
  committed
  5790491
- Inline trusted coverage parser in reporting workflow
  
  dgee2
  and
  codex
  committed
  2274d3d
- Bound coverage archive parsing in privileged reporter
  
  dgee2
  and
  codex
  committed
  eba4920
Commits on Oct 12, 2026
- Select coverage comment PR unambiguously
  
  dgee2
  and
  codex
  committed
  a316fe6
- Preserve coverage comments for closed associated PRs
  
  dgee2
  and
  codex
  committed
  0030cce
- Find closed fork PRs for coverage reporting
  
  dgee2
  and
  codex
  committed
  970fe5f
- Merge branch 'main' into codex/issue-1158-coverage
  dgee2
  authored
  e22e6fc
- Skip coverage reports with overflowing metrics
  
  dgee2
  and
  codex
  committed
  aea91e1