Migrate foreign function, compiler-interface and kani-middle modules to use StableMIR #5999
Triggered via pull request
December 20, 2023 16:11
celinval
Status
Success
Total duration
28m 26s
Artifacts
–
kani.yml
on: pull_request
write-json-symtab-regression
12m 5s
benchcomp-tests
5m 3s
perf
28m 15s
bookrunner
15m 5s
Matrix: regression