fix(ci): gate every Idris2 module — the proof checks could not fail (and #51's fix never landed) - #52

fix(ci): gate every Idris2 module — the proof checks could not fail (and #51's fix never landed)#52

hyperpolymath merged 3 commits into

mainhyperpolymath/ideas-to-alphas:mainfrom

fix/l11-modal-compiles-and-gatehyperpolymath/ideas-to-alphas:fix/l11-modal-compiles-and-gateCopy head branch name to clipboard