ci: Run clippy on macOS against brew z3. #420
waywardmonkeysrust.yml
on: pull_request
check-formatting
9s
build
1m 23s
build_on_wasm
26m 39s
run_clippy
48s
Matrix: build_with_vcpkg_installed_z3
Matrix: build_z3_statically