Correspondence Validation

chore: fix gitignore to exclude build artifacts in subdirectories #2

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
property-testing	20s
validate-correspondence	45s
verify-proofs	-1s
	1m 4s