Skip to content
Back to pull request #3054

Add option to override --crate-name from kani #6073

Sign in to view logs

Add option to override --crate-name from kani

Add option to override --crate-name from kani #6073

Run time

Learn about OS pricing on GitHub Actions
Job Run time
clippy-check
1m 50s
format-check
4s
1m 54s