Back to pull request #4661

Adopt CBMC 6.1 and cbmc-viewer 3.9 #7069

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
generate (ubuntu-latest)	10m 6s
harness-interop-tests	5m 24s
generate (macOS-latest)	13m 53s
clippy	10m 15s
fips (ubuntu-latest)	8m 29s
msrv	7s
fips (macOS-latest)	11m 0s
pcaps	4m 32s
rustfmt	3m 58s
generate-openssl-102	8m 48s
s2n-tls-binding-examples	3m 40s
	1h 20m 12s