Kani CI

Fix: regression test from #3888 has version control change #9763

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
benchcomp-tests	4m 53s
documentation	2m 7s
perf	47m 50s
regression (macos-13)	55m 59s
regression (ubuntu-20.04)	32m 31s
regression (ubuntu-22.04)	34m 14s
regression (ubuntu-24.04)	32m 48s
regression (macos-14)	40m 23s
	4h 10m 45s