Kani CI

Improve `--jobs` UI #9311

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
benchcomp-tests	4m 23s
documentation	2m 37s
perf	51m 46s
regression (macos-13)	51m 27s
regression (ubuntu-20.04)	31m 28s
regression (ubuntu-22.04)	31m 6s
regression (ubuntu-24.04)	29m 40s
regression (macos-14)	26m 29s
	3h 48m 56s