chore(ci): add prebuilt z3 release pipeline#816

Draft

drew wants to merge 1 commit intomainfrom

os-54-prebuilt-z3-release-pipeline

Commits on Apr 13, 2026

chore(ci): add prebuilt z3 release pipeline
drew
committed