Skip to content
Back to pull request #3972

Use Kani's Cargo when calling cargo metadata #2089

Sign in to view logs

Use Kani's Cargo when calling cargo metadata

Use Kani's Cargo when calling cargo metadata #2089

Re-run triggered April 1, 2025 15:37
@zhassan-awszhassan-aws
#3972
clubby789:metadata-bundled
Status Success
Total duration 2m 13s
Artifacts –

deny.yml

on: pull_request
audit
2m 0s
audit
Fit to window
Zoom out
Zoom in