Rust

Add vcpkg support and corresponding CI. #413

Sign in to view logs

Triggered via pull request October 18, 2023 22:36

TheVeryDarkness

synchronize #251

TheVeryDarkness:add-vcpkg

Status Success

Total duration 54m 34s

Artifacts –

rust.yml

on: pull_request

check-formatting

Matrix: build_with_vcpkg_installed_z3

Matrix: build_z3_statically