Skip to content
Cargo Audit

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

Sign in to view logs

Add option to override --crate-name from kani

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

Triggered via pull request March 8, 2024 21:14
@adpaco-awsadpaco-aws
synchronize #3054
adpaco-aws:feat-crate-name
Status Success
Total duration 1m 15s
Artifacts –

audit.yml

on: pull_request
audit
1m 6s
audit
Fit to window
Zoom out
Zoom in