fix(cli): use local z3 in dev wrapper #2333
Triggered via issue
April 10, 2026 20:20
copy-pr-bot[bot]
Status
Success
Total duration
6s
Artifacts
–