Add vcpkg support and corresponding CI. #407
TheVeryDarknessrust.yml
on: pull_request
check-formatting
14s
build
1m 16s
build_on_wasm
1m 32s
run_clippy
37s
Matrix: build_with_vcpkg_installed_z3
Waiting for pending jobs
Matrix: build_z3_statically
Annotations
11 errors
|
run_clippy
Process completed with exit code 101.
|
|
build_z3_statically (linux)
Process completed with exit code 101.
|
|
build_z3_statically (windows)
The job was canceled because "linux" failed.
|
|
build_z3_statically (windows)
The operation was canceled.
|
|
build_z3_statically (macos)
The job was canceled because "linux" failed.
|
|
build_z3_statically (macos)
The operation was canceled.
|
|
build
Process completed with exit code 101.
|
|
build
Process completed with exit code 101.
|
|
build
Process completed with exit code 101.
|
|
Rust
Error when evaluating 'runs-on' for job 'build_with_vcpkg_installed_z3'. .github/workflows/rust.yml (Line: 108, Col: 14): Unexpected value ''
|
|
build_on_wasm
Process completed with exit code 101.
|