Skip to content

fix(ci): complete the Idris2 support install so abi-codegen-drift can pass - #819

Merged
hyperpolymath merged 1 commit into
mainfrom
fix/abi-gate-support-install
Sep 22, 2026
Merged

fix(ci): complete the Idris2 support install so abi-codegen-drift can pass#819
hyperpolymath merged 1 commit into
mainfrom
fix/abi-gate-support-install

fix(ci): install the Idris2 support tree with the tree's own make target

7b5b5ab
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar