Repository navigation

Hook up CI for PR checks - #1

Merged

mromaszewicz merged 5 commits into

mainfrom

Apr 15, 2026

Commits on Apr 15, 2026
- Hook up CI for PR checks
  mromaszewicz-nv
  committed
  d723db0
- Fix lint issues and regenerate
  
  mromaszewicz-nv
  and
  claude
  committed
  7515ecb
- Fix DCE to strip orphaned comments, sort discriminator mappings, remove dead code
  
  mromaszewicz-nv
  and
  claude
  committed
  e2d2fca
- Bump all modules to go 1.25, exclude 1.24 from CI
  
  mromaszewicz-nv
  and
  claude
  committed
  75cf974
- Revert iris dep update to fix build incompatibility
  
  mromaszewicz-nv
  and
  claude
  committed
  b065d98