Kani CI

regression test for no_std #173

# to view logs

Run time

Learn about OS # on GitHub Actions

Job	Run time
documentation	2m 16s
benchcomp-tests	6m 29s
perf	48m 24s
regression (macos-13)	43m 42s
regression (ubuntu-20.04)	34m 1s
regression (ubuntu-22.04)	34m 17s
regression (ubuntu-24.04)	31m 11s
regression (macos-14)	34m 55s
	3h 55m 15s