Checks

Switch proof verification from SafeVerify to Comparator #125

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
mypy	43s
check-version	11s
isolation	57m 24s
tests	17s
gold-proofs	38m 38s
comparator-tests	41m 30s
	2h 18m 43s