Skip to content
Cargo Audit

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

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

Re-run triggered December 20, 2023 02:17
@celinvalcelinval
#2959
celinval:smir-comp-interface
Status Success
Total duration 1m 45s
Artifacts –

audit.yml

on: pull_request
audit
1m 21s
audit
Fit to window
Zoom out
Zoom in