Add vcpkg support and corresponding CI. (#251) #415

Sign in to view logs

Triggered via push October 22, 2023 15:02

Status Success

Total duration 1h 0m 38s

Artifacts –

rust.yml

on: push

check-formatting

Matrix: build_with_vcpkg_installed_z3

Matrix: build_z3_statically