fix(ci): run retained Idris2 test suite - #105

fix(ci): run retained Idris2 test suite#105

hyperpolymath merged 1 commit into

mainhyperpolymath/ubicity:mainfrom

fix/idris2-cihyperpolymath/ubicity:fix/idris2-ciCopy head branch name to clipboard