Skip to content
Rust

z3-sys: Use pkg-config when using system libs. #462

Sign in to view logs

z3-sys: Use pkg-config when using system libs.

z3-sys: Use pkg-config when using system libs. #462

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (macos-latest)
59s
build_on_wasm
24m 27s
build_with_bundled_z3 (linux)
11m 56s
build_with_bundled_z3 (macos)
15m 8s
build (ubuntu-latest)
44s
build_with_bundled_z3 (windows)
15m 23s
check-formatting
8s
build_with_vcpkg_installed_z3 (linux)
21m 37s
build_with_vcpkg_installed_z3 (macos)
1m 51s
run_clippy
1m 4s
build_with_vcpkg_installed_z3 (windows)
28m 35s
2h 1m 52s