Kani CI

Automatic toolchain upgrade to nightly-2025-05-28 (#4113) #10630

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
benchcomp-tests	4m 6s
perf	39m 12s
regression (ubuntu-22.04)	30m 6s
llbc-regression	3m 43s
regression (macos-14)	32m 37s
documentation	2m 11s
regression (macos-13)	46m 35s
regression (ubuntu-24.04)	29m 7s
	3h 7m 37s