fix(ci): call idris2 by full path before it is on PATH (required gate red since #820) - #880

fix(ci): call idris2 by full path before it is on PATH (required gate red since #820)#880

hyperpolymath merged 2 commits into

mainhyperpolymath/hypatia:mainfrom

fix/idris2-version-before-pathhyperpolymath/hypatia:fix/idris2-version-before-pathCopy head branch name to clipboard