Migrate foreign function, compiler-interface and kani-middle modules to use StableMIR #5995
Triggered via pull request
December 20, 2023 04:46
celinval
Status
Failure
Total duration
2h 25m 37s
Artifacts
–
kani.yml
on: pull_request
write-json-symtab-regression
10m 29s
benchcomp-tests
3m 13s
perf
2h 25m
bookrunner
15m 41s
Matrix: regression
Annotations
1 error
|
perf
Process completed with exit code 1.
|