Skip to content
Rust

Update bundled sources to Z3 4.13.3 (#315) #535

Sign in to view logs

Update bundled sources to Z3 4.13.3 (#315)

Update bundled sources to Z3 4.13.3 (#315) #535

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-formatting
3s
build_with_bundled_z3 (linux)
16m 27s
build_on_wasm
34m 59s
build_with_bundled_z3 (macos)
12m 56s
build (macos-latest)
27s
build_with_bundled_z3 (windows)
18m 25s
build_with_vcpkg_installed_z3 (linux)
31m 16s
build (ubuntu-latest)
29s
build_with_vcpkg_installed_z3 (macos)
15m 3s
run_clippy
26s
build_with_vcpkg_installed_z3 (windows)
43m 46s
2h 54m 17s