Add vcpkg support and corresponding CI. (#251) #415
waywardmonkeysrust.yml
on: push
check-formatting
6s
build
1m 47s
build_on_wasm
36m 7s
run_clippy
18m 15s
Matrix: build_with_vcpkg_installed_z3
Matrix: build_z3_statically