Bazel: expose z3_static target for working macOS, win32 builds
#3876
| Job | Run time |
|---|---|
| 17m 11s | |
| 17m 11s |
z3_static target for working macOS, win32 builds
#3876
| Job | Run time |
|---|---|
| 17m 11s | |
| 17m 11s |