Check Std Verification

Call `check_proof_attribute` for contract harnesses #499

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify-std (ubuntu-22.04)	28m 35s
verify-std (macos-14)	37m 44s
	1h 6m 19s