Skip to content
Kani CI

expect() does not take format strings #5628

Sign in to view logs

expect() does not take format strings

expect() does not take format strings #5628

Run time

Learn about OS pricing on GitHub Actions
Job Run time
benchcomp-tests
8m 50s
benchcomp-tests
5m 34s
bookrunner
16m 49s
bookrunner
16m 44s
perf
44m 52s
perf
52m 11s
regression (macos-12)
20m 41s
regression (macos-12)
22m 3s
regression (ubuntu-20.04)
20m 20s
regression (ubuntu-20.04)
32m 27s
write-json-symtab-regression
11m 11s
write-json-symtab-regression
20m 25s
regression (ubuntu-22.04)
20m 38s
regression (ubuntu-22.04)
21m 54s
5h 14m 39s