Skip to content
Rust

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-formatting
3s
build_on_wasm
23m 44s
build_with_bundled_z3 (linux)
11m 56s
build_with_vcpkg_installed_z3 (linux)
21m 50s
build_with_bundled_z3 (macos)
17m 3s
run_clippy
1m 1s
build_with_vcpkg_installed_z3 (macos)
2m 26s
build (macos-latest)
1m 24s
build_with_bundled_z3 (windows)
15m 46s
build_with_vcpkg_installed_z3 (windows)
28m 38s
build (ubuntu-latest)
29s
2h 4m 20s