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

Sep 30, 2026

fix(ci): call idris2 by full path before it is on PATH (required gate red since #820)#880
hyperpolymath merged 2 commits into
mainfrom
fix/idris2-version-before-path

Select a check to view from the sidebar