Rename static-link-z3 to bundled.
#441
waywardmonkeysrust.yml
on: pull_request
check-formatting
12s
build_on_wasm
35m 13s
run_clippy
1m 10s
Matrix: build
Matrix: build_with_bundled_z3
Matrix: build_with_vcpkg_installed_z3