Skip to content
Cargo Audit

Use the clap derive API for the command line arguments of `kani-com… #149

Sign in to view logs

Use the clap derive API for the command line arguments of `kani-com…

Use the clap derive API for the command line arguments of `kani-com… #149

Triggered via push August 30, 2023 13:44
@tautschnigtautschnig
pushed 03d9331
main
Status Success
Total duration 59m 19s
Artifacts –

audit.yml

on: push
audit
2m 33s
audit
Fit to window
Zoom out
Zoom in