Skip to content
Back to pull request #3972

Use Kani's Cargo when calling cargo metadata #9894

Sign in to view logs

Use Kani's Cargo when calling cargo metadata

Use Kani's Cargo when calling cargo metadata #9894

Run time

Learn about OS pricing on GitHub Actions
Job Run time
format-check
5s
clippy-check
2m 16s
2m 21s