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

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

hyperpolymath merged 1 commit into

mainhyperpolymath/hypatia:mainfrom

fix/abi-gate-support-installhyperpolymath/hypatia:fix/abi-gate-support-installCopy head branch name to clipboard