Kani CI

Verify contracts/stubs for generic types with multiple inherent imple… #9496

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
benchcomp-tests	8m 34s
documentation	2m 26s
perf	54m 0s
regression (macos-13)	1h 8m 28s
regression (ubuntu-20.04)	34m 25s
regression (ubuntu-22.04)	42m 16s
regression (ubuntu-24.04)	33m 8s
regression (macos-14)	43m 32s
	4h 46m 49s