Python CI

Add autogenerated Kani harnesses #479

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
linux (x86_64)	4m 21s
macos-13	4m 47s
macos-14	2m 13s
linux (x86)	5m 53s
linux (aarch64)	6m 48s
sdist	7s
windows (x64)	11m 21s
linux (armv7)	7m 11s
windows (x86)	12m 12s
linux (ppc64le)	6m 32s
Release	0s
	1h 1m 25s