Skip to content
Kani CI

Migrate foreign function, compiler-interface and kani-middle modules to use StableMIR #6001

Sign in to view logs

Migrate foreign function, compiler-interface and kani-middle modules to use StableMIR

Migrate foreign function, compiler-interface and kani-middle modules to use StableMIR #6001

Run time

Learn about OS pricing on GitHub Actions
Job Run time
write-json-symtab-regression
12m 30s
regression (macos-12)
35m 15s
regression (ubuntu-20.04)
20m 15s
regression (ubuntu-22.04)
20m 5s
benchcomp-tests
4m 55s
bookrunner
16m 48s
perf
26m 51s
2h 16m 39s