Back to pull request #3537

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
BuildBundle-MacOs	11m 39s
BuildBundle-Linux	22m 54s
BuildBundle-MacOs-ARM	5m 13s
TestAlternativePlatforms	1m 54s
TestLocalToolchain (macos-13)	1m 52s
TestBundle (macos-13)	1m 42s
TestLocalToolchain (ubuntu-20.04)	1m 11s
TestBundle (ubuntu-20.04)	38s
TestLocalToolchain (ubuntu-22.04)	49s
TestBundle (ubuntu-22.04)	47s
Release	0s
Package Docker	0s
	48m 39s