Skip to content
Rust

ci: Run tests against homebrew Z3 on macOS. #436

Sign in to view logs

ci: Run tests against homebrew Z3 on macOS.

ci: Run tests against homebrew Z3 on macOS. #436

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-formatting
9s
build_on_wasm
45m 21s
build_z3_statically (linux)
26m 39s
build (macos-latest)
1m 47s
build_z3_statically (macos)
15m 22s
build (ubuntu-latest)
1m 23s
build_with_vcpkg_installed_z3 (linux)
2m 21s
build_z3_statically (windows)
24m 51s
run_clippy
1m 44s
build_with_vcpkg_installed_z3 (macos)
2m 15s
build_with_vcpkg_installed_z3 (windows)
8m 27s
2h 10m 19s