Migrate foreign function, compiler-interface and kani-middle modules to use StableMIR #6001
Triggered via pull request
December 20, 2023 18:47
celinval
Status
Success
Total duration
35m 31s
Artifacts
–
kani.yml
on: pull_request
write-json-symtab-regression
12m 30s
benchcomp-tests
4m 55s
perf
26m 51s
bookrunner
16m 48s
Matrix: regression