Skip to content
Kani CI

Update library/kani_macros/src/sysroot/contracts/mod.rs #117

Sign in to view logs

Update library/kani_macros/src/sysroot/contracts/mod.rs

Update library/kani_macros/src/sysroot/contracts/mod.rs #117

Run time

Learn about OS pricing on GitHub Actions
Job Run time
benchcomp-tests
4m 35s
documentation
2m 16s
regression (macos-13)
53m 16s
perf
35m 14s
regression (ubuntu-20.04)
32m 4s
write-json-symtab-regression
16m 17s
regression (ubuntu-22.04)
31m 26s
regression (macos-14)
30m 9s
3h 25m 17s