Add a warning when static-link-z3 is used.
#442
waywardmonkeysrust.yml
on: push
check-formatting
8s
build_on_wasm
46m 7s
run_clippy
1m 14s
Matrix: build
Matrix: build_with_bundled_z3
Matrix: build_with_vcpkg_installed_z3