Skip to content
Rust

Upload z3 built by vcpkg as release assets in CI. Maybe test whether it works in CI later. #443

Sign in to view logs

Upload z3 built by vcpkg as release assets in CI. Maybe test whether it works in CI later.

Upload z3 built by vcpkg as release assets in CI. Maybe test whether it works in CI later. #443

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-formatting
7s
build_with_bundled_z3 (linux)
20m 10s
build (macos-latest)
3m 59s
build_on_wasm
29m 24s
build_with_bundled_z3 (macos)
17m 34s
build (ubuntu-latest)
1m 12s
build_with_vcpkg_installed_z3 (linux)
1m 40s
build_with_bundled_z3 (windows)
24m 26s
build_with_vcpkg_installed_z3 (macos)
1m 48s
run_clippy
52s
build_with_vcpkg_installed_z3 (windows)
1m 45s
1h 42m 57s