ci: unblock Idris 2 verification on every PR - #10

ci: unblock Idris 2 verification on every PR#10

hyperpolymath merged 1 commit into

mainhyperpolymath/proven:mainfrom

ci-fix-cache-and-idris-setuphyperpolymath/proven:ci-fix-cache-and-idris-setupCopy head branch name to clipboard