ci: Run tests against homebrew Z3 on macOS. #436
waywardmonkeysrust.yml
on: pull_request
check-formatting
9s
build_on_wasm
45m 21s
run_clippy
1m 44s
Matrix: build
Matrix: build_with_vcpkg_installed_z3
Matrix: build_z3_statically