Rust

ci: Update to `actions/checkout@v4` more. #417

Job	Run time
build	1m 44s
build_on_wasm	40m 55s
build_z3_statically (linux)	36m 39s
build_with_vcpkg_installed_z3 (windows)	50m 8s
run_clippy	15m 34s
check-formatting	14s
build_z3_statically (macos)	32m 20s
build_z3_statically (windows)	46m 21s
	3h 43m 55s

Provide feedback