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

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

2462412
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Job log options

This job was skipped