ci: Update to actions/checkout@v4 more.
#417
waywardmonkeysrust.yml
on: push
check-formatting
14s
build
1m 44s
build_on_wasm
40m 55s
run_clippy
15m 34s
Matrix: build_with_vcpkg_installed_z3
Matrix: build_z3_statically