fix(ci): align the Idris2 version assert with the pinned image (0.8.0)#31

hyperpolymath merged 1 commit into

mainhyperpolymath/haec:mainfrom

fix/idris2-version-0-8-0hyperpolymath/haec:fix/idris2-version-0-8-0Copy head branch name to clipboard