Skip to content
Cargo Audit

Remove kani::Arbitrary from the modifies contract instrumentation #5116

Sign in to view logs

Remove kani::Arbitrary from the modifies contract instrumentation

Remove kani::Arbitrary from the modifies contract instrumentation #5116

Triggered via pull request May 3, 2024 18:53
@adpaco-awsadpaco-aws
synchronize #3169
feliperodri:remove-arbitrary-modifies
Status Success
Total duration 1m 3s
Artifacts –

audit.yml

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