Kani CI

Verify contracts/stubs for generic types with multiple inherent implementations #9495

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
benchcomp-tests	5m 3s
perf	44m 38s
regression (macos-13)	1h 13m 43s
regression (ubuntu-20.04)	34m 40s
documentation	2m 14s
regression (ubuntu-22.04)	34m 9s
regression (ubuntu-24.04)	31m 22s
regression (macos-14)	30m 26s
	4h 16m 15s