Checks

Switch proof verification from SafeVerify to Comparator #127

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-version	8s
isolation	56m 49s
gold-proofs	38m 5s
comparator-tests	25m 26s
mypy	31s
tests	25s
	2h 1m 24s