Check Std Verification

Move documentation of kani_core modules to right places #1121

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
verify-std (ubuntu-22.04)	3m 48s
verify-std (macos-14)	3m 38s
	7m 26s