Skip to content
Cargo Audit

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

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

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

audit.yml

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