fix(ci): idris2-abi install via apt + tag-archive fallback — replaces 404 URL - #168

fix(ci): idris2-abi install via apt + tag-archive fallback — replaces 404 URL#168

hyperpolymath merged 1 commit into

mainhyperpolymath/echidna:mainfrom

fix/idris2-abi-ci-install-patternhyperpolymath/echidna:fix/idris2-abi-ci-install-patternCopy head branch name to clipboard