Migrate foreign function, compiler-interface and kani-middle modules to use StableMIR #5995
| Job | Run time |
|---|---|
| 15m 41s | |
| 2h 25m 27s | |
| 3m 13s | |
| 20m 49s | |
| 10m 29s | |
| 19m 27s | |
| 20m 55s | |
| 3h 56m 1s |
| Job | Run time |
|---|---|
| 15m 41s | |
| 2h 25m 27s | |
| 3m 13s | |
| 20m 49s | |
| 10m 29s | |
| 19m 27s | |
| 20m 55s | |
| 3h 56m 1s |