Building Z3 inside CLI and wheel packaging is slow.
Replace source compilation in release/package workflows with prebuilt static Z3 artifacts published through a manually triggered GitHub Actions workflow to the z3-latest GitHub release in NVIDIA/OpenShell.
This issue covers:
- Manual workflow to build static Z3 artifacts
- Release asset publishing to
z3-latest
- CLI and wheel packaging changes to download and link prebuilt Z3
- Fail-fast behavior when required assets are missing
- Preserving the existing local-dev fallback behavior
Building Z3 inside CLI and wheel packaging is slow.
Replace source compilation in release/package workflows with prebuilt static Z3 artifacts published through a manually triggered GitHub Actions workflow to the
z3-latestGitHub release inNVIDIA/OpenShell.This issue covers:
z3-latest