Skip to content
Cargo Audit

Replace hooks with a Kani intrinsics module #265

Sign in to view logs

Replace hooks with a Kani intrinsics module

Replace hooks with a Kani intrinsics module #265

Triggered via push August 18, 2023 22:27
@zhassan-awszhassan-aws
pushed c4f005a
boogie_ast
Status Success
Total duration 3m 29s
Artifacts –

audit.yml

on: push
audit
3m 20s
audit
Fit to window
Zoom out
Zoom in