Kani CI

Add progress indicator and log file output for concise terminal output #12507

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
benchcomp-tests	4m 11s
llbc-regression	3m 41s
regression (ubuntu-24.04)	1m 17s
regression (macos-14)	1m 34s
regression (ubuntu-24.04-arm)	1m 29s
perf	45m 54s
regression (macos-15-intel)	1m 32s
documentation	1m 23s
regression (ubuntu-22.04)	1m 32s
	1h 2m 33s