Skip to content

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

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) #1490

Triggered via pull request July 24, 2024 15:57
@tautschnigtautschnig
opened #3376
Status Success
Total duration 58m 13s
Artifacts

extra_jobs.yml

on: pull_request_target
Auto Label
6s
Auto Label
Verification Benchmarks  /  perf-benchcomp
57m 51s
Verification Benchmarks / perf-benchcomp
Fit to window
Zoom out
Zoom in