Kani CI

Automatic toolchain upgrade to nightly-2025-01-08 #9443

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
documentation	2m 25s
documentation	2m 25s
benchcomp-tests	5m 57s
benchcomp-tests	5m 57s
perf	47m 36s
perf	47m 36s
regression (macos-13)	2m 5s
regression (macos-13)	1h 3m 34s
regression (ubuntu-20.04)	2m 6s
regression (ubuntu-20.04)	31m 49s
regression (ubuntu-22.04)	2m 4s
regression (ubuntu-22.04)	32m 9s
regression (ubuntu-24.04)	2m 5s
regression (ubuntu-24.04)	31m 16s
regression (macos-14)	1m 50s
regression (macos-14)	36m 19s
	5h 17m 13s