Skip to content
Cargo Audit

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

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

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

audit.yml

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