Skip to content
Kani CI

Include manifest-path when checking if packages are in the workspace #9440

Sign in to view logs

Include manifest-path when checking if packages are in the workspace

Include manifest-path when checking if packages are in the workspace #9440

Run time

Learn about OS pricing on GitHub Actions
Job Run time
perf
48m 9s
benchcomp-tests
4m 46s
documentation
2m 18s
regression (macos-13)
51m 25s
regression (ubuntu-20.04)
32m 16s
regression (ubuntu-22.04)
33m 21s
regression (ubuntu-24.04)
31m 35s
regression (macos-14)
30m 46s
3h 54m 36s