Skip to content
Rust

Add a warning when static-link-z3 is used. #442

Sign in to view logs

Add a warning when static-link-z3 is used.

Add a warning when static-link-z3 is used. #442

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build_on_wasm
46m 7s
build (macos-latest)
1m 20s
build_with_bundled_z3 (linux)
27m 2s
build (ubuntu-latest)
1m 3s
build_with_vcpkg_installed_z3 (linux)
2m 16s
build_with_bundled_z3 (macos)
17m 19s
check-formatting
8s
build_with_vcpkg_installed_z3 (macos)
2m 4s
build_with_bundled_z3 (windows)
24m 19s
build_with_vcpkg_installed_z3 (windows)
7m 11s
run_clippy
1m 14s
2h 10m 3s