Skip to content
Rust

Add vcpkg support and corresponding CI. #401

Sign in to view logs

Add vcpkg support and corresponding CI.

Add vcpkg support and corresponding CI. #401

Triggered via pull request October 13, 2023 07:50
@TheVeryDarknessTheVeryDarkness
synchronize #251
TheVeryDarkness:add-vcpkg
Status Success
Total duration 47m 17s
Artifacts –

rust.yml

on: pull_request
check-formatting
10s
check-formatting
build
1m 6s
build
build_on_wasm
41m 51s
build_on_wasm
run_clippy
15m 51s
run_clippy
Matrix: build_z3_statically
Fit to window
Zoom out
Zoom in