Skip to content

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

ci(proofs): give the Agda job a timeout (Hypatia WH006 on #150)

96f7804
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar