Skip to content

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

Merge branch 'main' into claude/idris-dependents-audit

7d840d8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar