fix bundled-z3 not making into args · NVIDIA/OpenShell@1365c2f

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: docker/setup-buildx-action@v3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: docker/setup-buildx-action@v3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: docker/setup-buildx-action@v3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: docker/setup-buildx-action@v3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

0% - 0 hits, 7 misses, 0 errors

0% - 0 hits, 7 misses, 0 errors

48% - 24 hits, 26 misses, 0 errors

64% - 32 hits, 18 misses, 0 errors

Artifacts

Produced during runtime

Name	Size	Digest
rust-binary-gateway-gateway-linux-amd64 Expired	20.2 MB	`sha256:65dc01cf00b37b4b15b3846c51f5c7ec9d2a3fb300b0e4fb82682ced4374dd18`
rust-binary-gateway-gateway-linux-arm64 Expired	19.1 MB	`sha256:1677a9aeb1795acffa5f608e7299cebd5be8d288bd711667017cae85556c75c5`
rust-binary-supervisor-sandbox-linux-amd64 Expired	6.73 MB	`sha256:9d53383da5615acb21e439f1181112a4d9b94cff28b8e8dc6b1583f2a42f317f`
rust-binary-supervisor-sandbox-linux-arm64 Expired	6.37 MB	`sha256:99c60a39aa9945a3e23a0039db1a5c3c4f30d4321dc367964082e64e1209d629`