Skip to content

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

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

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

Triggered via pull request December 20, 2023 05:51
Status Success
Total duration 1m 2s
Artifacts

audit.yml

on: pull_request
Fit to window
Zoom out
Zoom in