Skip to content
Rust

Fix lifetime on Solver::get_assertions() result. #439

Sign in to view logs

Fix lifetime on Solver::get_assertions() result.

Fix lifetime on Solver::get_assertions() result. #439

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (macos-latest)
1m 0s
build_z3_statically (linux)
18m 54s
build_on_wasm
28m 20s
build (ubuntu-latest)
1m 3s
build_z3_statically (macos)
10m 48s
build_with_vcpkg_installed_z3 (linux)
1m 39s
build_z3_statically (windows)
25m 46s
check-formatting
6s
run_clippy
47s
build_with_vcpkg_installed_z3 (macos)
2m 29s
build_with_vcpkg_installed_z3 (windows)
7m 35s
1h 38m 27s