Checks

Switch proof verification from SafeVerify to Comparator #81

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
tests	24s
mypy	56s
comparator-tests	17m 38s
check-version	13s
gold-proofs	37m 43s
isolation	46m 23s
	1h 43m 17s