Skip to content
Kani Format Check

Remove --mir-linker from Cargo.toml #553

Sign in to view logs

Remove --mir-linker from Cargo.toml

Remove --mir-linker from Cargo.toml #553

Run time

Learn about OS pricing on GitHub Actions
Job Run time
format-check
8s
clippy-check
2m 2s
2m 10s