Repository navigation

Initial attempt at a Checks API integration - #172

Draft

woodruffw wants to merge 9 commits into

mainfrom

Commits on Oct 4, 2026
- Initial attempt at a Checks API integration
  woodruffw
  committed
  4c5fa03
- Precedence bug
  woodruffw
  committed
  e6a0cca
- Fix selftest
  woodruffw
  committed
  75be8a4
- Add internal-checks-name
  woodruffw
  committed
  c187320
- Hacky summary
  woodruffw
  committed
  08cfdd7
- Fix commit association
  woodruffw
  committed
  1c70ad1
- Don't codegen check tests
  woodruffw
  committed
  1d11327
- Improve rendering
  woodruffw
  committed
  b1e3452
- README: cleanup
  woodruffw
  committed
  b123cfa