From 67ab221dba85531216a92b165c2899326c5e05c4 Mon Sep 17 00:00:00 2001
From: Copilot <198982749+Copilot@users.noreply.github.com>
Date: Mon, 27 Jul 2026 18:48:36 -0700
Subject: [PATCH] Fix build-pyodide: correct z3test.py path in cibuildwheel
 test-command (#10263)

The `build-pyodide` CI job was failing because cibuildwheel's
`{project}` placeholder resolves to the **repository root**, not the
`package-dir` (`src/api/python`). The `test-command` in `pyproject.toml`
referenced `{project}/z3test.py`, which doesn't exist at the repo root.

## Change

**`src/api/python/pyproject.toml`**
```diff
-test-command = "python {project}/z3test.py z3"
+test-command = "python {project}/src/api/python/z3test.py z3"
```

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
---
 src/api/python/pyproject.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/python/pyproject.toml b/src/api/python/pyproject.toml
index 52c6db5946..3d59010943 100644
--- a/src/api/python/pyproject.toml
+++ b/src/api/python/pyproject.toml
@@ -26,4 +26,4 @@ build = "cp314-*"
 
 [tool.cibuildwheel.pyodide]
 # z3test.py is the upstream smoke test; run it inside the Pyodide test venv.
-test-command = "python {project}/z3test.py z3"
+test-command = "python {project}/src/api/python/z3test.py z3"