Skip to content
Cargo Audit

Create a Boogie AST crate #3333

Sign in to view logs

Create a Boogie AST crate

Create a Boogie AST crate #3333

Triggered via pull request June 23, 2023 23:27
@zhassan-awszhassan-aws
opened #2565
zhassan-aws:boogie_ast
Status Success
Total duration 4m 51s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

audit.yml

on: pull_request
audit
4m 40s
audit
Fit to window
Zoom out
Zoom in