Skip to content
Cargo Audit

Merge branch 'kani-0.33' of https://github.com/zhassan-aws/kani into … #257

Sign in to view logs

Merge branch 'kani-0.33' of https://github.com/zhassan-aws/kani into …

Merge branch 'kani-0.33' of https://github.com/zhassan-aws/kani into … #257

Triggered via push July 25, 2023 21:15
@zhassan-awszhassan-aws
pushed 6aeee19
kani-0.33
Status Success
Total duration 2m 35s
Artifacts –

audit.yml

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