Skip to content
Kani Format Check

Fix std overrides when crate has extern std #5917

Sign in to view logs

Fix std overrides when crate has extern std

Fix std overrides when crate has extern std #5917

Run time

Learn about OS pricing on GitHub Actions
Job Run time
clippy-check
1m 59s
format-check
6s
2m 5s