Skip to content
Kani CI

Adjust test patterns so as not to check for trivial properties #433

Sign in to view logs

Adjust test patterns so as not to check for trivial properties

Adjust test patterns so as not to check for trivial properties #433

Run time

Learn about OS pricing on GitHub Actions
Job Run time
perf
29m 27s
documentation
1m 59s
regression (macos-13)
50m 52s
benchcomp-tests
5m 28s
regression (ubuntu-20.04)
29m 22s
write-json-symtab-regression
17m 40s
regression (ubuntu-22.04)
28m 43s
regression (macos-14)
23m 39s
3h 7m 10s