Repository navigation

fix(abi): review follow-ups from the JNK-01 stack (CodeRabbit on #149, Hypatia on #150) - #152

Merged

hyperpolymath merged 2 commits into

mainfrom

claude/new-session-lwzjw0

Oct 14, 2026

Merged

fix(abi): review follow-ups from the JNK-01 stack (CodeRabbit on #149, Hypatia on #150)#152
hyperpolymath merged 2 commits into
mainfrom
claude/new-session-lwzjw0

Commits on Oct 14, 2026
- fix(abi): CodeRabbit follow-ups from #149; agda-proofs is no longer DESIGNED
  claude
  committed
  99d53fe
- ci(proofs): give the Agda job a timeout (Hypatia WH006 on #150)
  claude
  committed
  96f7804