Rust Bindings

Authorize requests to GitHub API in Run CBMC proofs workflow #4891

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
clippy	12m 1s
generate-openssl-102	11m 29s
generate (ubuntu-latest)	11m 52s
generate (macOS-latest)	18m 37s
rustfmt	10m 57s
msrv	6s
	1h 5m 2s