Kani CI

Upgrade Rust toolchain to 2025-09-10 #11836

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
benchcomp-tests	4m 47s
perf	44m 5s
regression (macos-14)	39m 35s
regression (macos-13)	1h 0m 1s
regression (ubuntu-24.04)	30m 9s
regression (ubuntu-22.04)	33m 46s
regression (ubuntu-24.04-arm)	29m 58s
llbc-regression	4m 15s
documentation	4m 15s
	4h 10m 51s