Checks

Switch proof verification from SafeVerify to Comparator #90

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
gold-proofs	27m 6s
tests	20s
mypy	32s
comparator-tests	15m 11s
check-version	11s
isolation	36m 7s
	1h 19m 27s