Kani CI

Setup/CI: cleanup Ubuntu 18.04 and cbmc-viewer left-overs and enable … #448

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
benchcomp-tests	4m 36s
documentation	2m 17s
perf	33m 49s
regression (macos-13)	58m 25s
regression (ubuntu-20.04)	30m 53s
regression (ubuntu-22.04)	30m 16s
regression (ubuntu-24.04)	28m 48s
regression (macos-14)	35m 47s
	3h 44m 51s