Kani CI

Package Docker release step: ensure compiler is installed #9306

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
benchcomp-tests	5m 14s
documentation	2m 11s
regression (macos-13)	1h 12m 28s
perf	38m 11s
regression (ubuntu-20.04)	29m 41s
regression (ubuntu-22.04)	30m 22s
regression (ubuntu-24.04)	29m 27s
regression (macos-14)	35m 27s
	4h 3m 1s