Skip to content
Kani Extra

Migrate foreign function, compiler-interface and kani-middle modules to use StableMIR #292

Sign in to view logs

Migrate foreign function, compiler-interface and kani-middle modules to use StableMIR

Migrate foreign function, compiler-interface and kani-middle modules to use StableMIR #292

Triggered via pull request December 20, 2023 05:51
@celinvalcelinval
synchronize #2959
Status Success
Total duration 59m 39s
Artifacts –

extra_jobs.yml

on: pull_request_target
Auto Label
4s
Auto Label
Verification Benchmarks  /  perf-benchcomp
59m 18s
Verification Benchmarks / perf-benchcomp
Fit to window
Zoom out
Zoom in