fix(test-proofs): make the Idris2 ABI check able to fail (P0-2) - #140

fix(test-proofs): make the Idris2 ABI check able to fail (P0-2)#140

hyperpolymath merged 1 commit into

mainhyperpolymath/januskey:mainfrom

fix/test-proofs-fails-loudlyhyperpolymath/januskey:fix/test-proofs-fails-loudlyCopy head branch name to clipboard