Check Std Verification

Update to CBMC 6.3.1 and fix auto-update script #529

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify-std (ubuntu-22.04)	25m 54s
verify-std (macos-14)	30m 29s
	56m 23s