Skip to content
bazel

Build Z3 from source instead of downloading precompiled binaries. #9837

Sign in to view logs

Build Z3 from source instead of downloading precompiled binaries.

Build Z3 from source instead of downloading precompiled binaries. #9837

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build_direct
24m 54s
build_indirect
41m 10s
1h 6m 4s