fix: remove mentions of bundled-z3 in CI and wheel builds#2322

SDAChess merged 1 commit into

mainNVIDIA/OpenShell:mainfrom

sscatton/fix-bundle-z3-build-cliNVIDIA/OpenShell:sscatton/fix-bundle-z3-build-cliCopy head branch name to clipboard