fix(ci): unblock the now-honest static-analysis gate and the Idris2 CI job#28

hyperpolymath merged 1 commit into

mainhyperpolymath/haec:mainfrom

fix/post-27-gate-and-zighyperpolymath/haec:fix/post-27-gate-and-zigCopy head branch name to clipboard