Okm165
commented
2 months ago Disabling proof test workflow temporarely https://github.com/HerodotusDev/integrity/pull/142/commits/89c38e6c15be2c90505569ebc116cacfd8bcadd9 should be reverted for final merge of this PR
Proof verification tests fail because the proofs in examples/proofs are from an older version (Stone5). The Stone repository hasn't been updated to support generating new Stone6 proofs yet.