Kani CI

Automatic toolchain upgrade to nightly-2025-09-24 #11936

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
benchcomp-tests	5m 59s
llbc-regression	5m 33s
perf	43m 47s
documentation	4m 1s
regression (ubuntu-24.04)	29m 10s
regression (macos-14)	31m 36s
regression (macos-13)	1h 23m 7s
regression (ubuntu-24.04-arm)	30m 27s
regression (ubuntu-22.04)	32m 35s
	4h 26m 15s