Skip to content

Bazel: expose z3_static target for working macOS, win32 builds #1085

Bazel: expose z3_static target for working macOS, win32 builds

Bazel: expose z3_static target for working macOS, win32 builds #1085

This workflow is awaiting approval from a maintainer in #7660
Triggered via pull request May 26, 2025 03:09
@tsnltsnl
synchronize #7660
tsnl:master
Status Action required
Total duration
Artifacts
This workflow is awaiting approval from a maintainer in #7660
build
build
Fit to window
Zoom out
Zoom in