ci: Update to actions/checkout@v4.
#411
waywardmonkeysrust.yml
on: push
check-formatting
6s
build
1m 31s
build_on_wasm
27m 46s
run_clippy
14m 38s
Matrix: build_z3_statically