Skip to content

ci(release): build macOS CLI with static bundled-z3 via zig#7

Merged
vessux merged 1 commit into
mainfrom
fix/release-macos-bundled-z3
Jun 11, 2026
Merged

ci(release): build macOS CLI with static bundled-z3 via zig#7
vessux merged 1 commit into
mainfrom
fix/release-macos-bundled-z3

Commits

Commits on Jun 11, 2026