Skip to content
Cargo Audit

Cherry-pick #3375 into verify-rust-std (Import apply_closure into kani_core) #6004

Sign in to view logs

Cherry-pick #3375 into verify-rust-std (Import apply_closure into kani_core)

Cherry-pick #3375 into verify-rust-std (Import apply_closure into kani_core) #6004

Triggered via pull request July 24, 2024 15:57
@tautschnigtautschnig
opened #3376
tautschnig:pick-3375
Status Success
Total duration 1m 8s
Artifacts –

audit.yml

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