Add vcpkg support and corresponding CI. #405
TheVeryDarknessrust.yml
on: pull_request
check-formatting
13s
build
1m 22s
build_on_wasm
41m 2s
run_clippy
22m 16s
Matrix: build_with_vcpkg_installed_z3
Matrix: build_z3_statically
Annotations
3 errors
|
build_with_vcpkg_installed_z3 (windows)
Process completed with exit code 1.
|
|
build_with_vcpkg_installed_z3 (linux)
The operation was canceled.
|
|
build_with_vcpkg_installed_z3 (macos)
The operation was canceled.
|