Repository navigation

fix(idris-dependents): green CI on main + close #628 review findings - #644

Merged

hyperpolymath merged 8 commits into

mainfrom

claude/idris-dependents-audit

Nov 5, 2026

Merged

fix(idris-dependents): green CI on main + close #628 review findings#644
hyperpolymath merged 8 commits into
mainfrom
claude/idris-dependents-audit

Commits on Nov 4, 2026
- fix(idris-dependents): repair bot-generated tests that broke CI on main
  claude
  committed
  09168da
- fix(idris-dependents): address Codex and CodeRabbit review findings from #628
  claude
  committed
  f7a9366
Commits on Nov 5, 2026