Skip to content
Cargo Audit

[Boogie Backend] Add instructions on how to use the Boogie backend to… #4540

Sign in to view logs

[Boogie Backend] Add instructions on how to use the Boogie backend to…

[Boogie Backend] Add instructions on how to use the Boogie backend to… #4540

Triggered via push December 19, 2023 21:10
@zhassan-awszhassan-aws
pushed b381ae1
features/boogie
Status Success
Total duration 1m 1s
Artifacts –

audit.yml

on: push
audit
52s
audit
Fit to window
Zoom out
Zoom in