z3-sys: Use pkg-config when using system libs.
#461
Triggered via pull request
November 25, 2023 01:58
waywardmonkeys
Status
Success
Total duration
28m 50s
Artifacts
–
rust.yml
on: pull_request
check-formatting
3s
build_on_wasm
23m 44s
run_clippy
1m 1s
Matrix: build
Matrix: build_with_bundled_z3
Matrix: build_with_vcpkg_installed_z3