fix(ci): build Idris2 outside the checkout — main's proof gate is red - #53

fix(ci): build Idris2 outside the checkout — main's proof gate is red#53

hyperpolymath merged 1 commit into

mainhyperpolymath/ideas-to-alphas:mainfrom

fix/idris2-gate-build-outside-checkouthyperpolymath/ideas-to-alphas:fix/idris2-gate-build-outside-checkoutCopy head branch name to clipboard