Add vcpkg support and corresponding CI. #410
Triggered via pull request
October 18, 2023 11:08
TheVeryDarkness
Status
Failure
Total duration
1h 3m 6s
Artifacts
–
rust.yml
on: pull_request
check-formatting
7s
build
1m 45s
build_on_wasm
35m 18s
run_clippy
22m 24s
Matrix: build_with_vcpkg_installed_z3
Matrix: build_z3_statically
Annotations
4 errors and 2 warnings
|
build_with_vcpkg_installed_z3 (linux)
Process completed with exit code 1.
|
|
build_with_vcpkg_installed_z3 (macos)
The job was canceled because "linux" failed.
|
|
build_with_vcpkg_installed_z3 (macos)
The operation was canceled.
|
|
build_with_vcpkg_installed_z3 (windows)
The operation was canceled.
|
|
build_with_vcpkg_installed_z3 (linux)
You are running out of disk space. The runner will stop working when the machine runs out of disk space. Free space left: 96 MB
|
|
build_with_vcpkg_installed_z3 (macos)
You are running out of disk space. The runner will stop working when the machine runs out of disk space. Free space left: 98 MB
|