Checks

Add systematic result metadata summarization (#25) #70

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
gold-proofs	1h 24m 50s
tests	8m 55s
isolation	47m 9s
check-version	7s
mypy	33s
	2h 21m 34s