Migrate foreign function, compiler-interface and kani-middle modules to use StableMIR #5997
Triggered via pull request
December 20, 2023 05:51
celinval
Status
Success
Total duration
40m 59s
Artifacts
–
kani.yml
on: pull_request
write-json-symtab-regression
11m 23s
benchcomp-tests
5m 46s
perf
25m 50s
bookrunner
17m 13s
Matrix: regression