Skip to content
bazel

Build Z3 from source instead of downloading precompiled binaries. (#4… #9912

Sign in to view logs

Build Z3 from source instead of downloading precompiled binaries. (#4…

Build Z3 from source instead of downloading precompiled binaries. (#4… #9912

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build_direct
1m 59s
build_indirect
1m 23s
3m 22s