Migrate foreign function, compiler-interface and kani-middle modules … #6002
Job | Run time |
---|---|
4m 17s | |
15m 38s | |
27m 6s | |
31m 48s | |
18m 45s | |
10m 53s | |
19m 49s | |
2h 8m 16s |
Job | Run time |
---|---|
4m 17s | |
15m 38s | |
27m 6s | |
31m 48s | |
18m 45s | |
10m 53s | |
19m 49s | |
2h 8m 16s |