Skip to content
Cargo Audit

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

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 #4551

Triggered via pull request December 20, 2023 18:47
@celinvalcelinval
synchronize #2959
celinval:smir-comp-interface
Status Success
Total duration 59s
Artifacts –

audit.yml

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