fix: Sed pattern was too greedy, eating first digit of test count

Issue: sed pattern '.*=.*\([0-9][0-9]*\) passed' was matching:
  - Input: '===== 43 passed in 34.95s ====='
  - Matched: '===== 4' (greedy .* consumed the 4)
  - Captured: '3' (only last digit)

Solution: Match space before number instead of '='
  - Pattern: '.* \([0-9][0-9]*\) passed'
  - Matches: '===== 43 passed'
  - Captures: '43' (all digits after last space)

Result: All platforms now show correct counts (43 passed, not 3)

Author: tae898

.github/workflows/test-python-bindings.yml

@@ -215,9 +215,10 @@ jobs:
 
             # Count results (cross-platform: use sed instead of grep -P)
             # Format: "===== 43 passed, 2 skipped in 1.23s =====" or "===== 43 passed in 1.23s ====="
-            PASSED=$(sed -n 's/.*=.*\([0-9][0-9]*\) passed.*/\1/p' pytest-output.txt | tail -1)
-            SKIPPED=$(sed -n 's/.*=.*\([0-9][0-9]*\) skipped.*/\1/p' pytest-output.txt | tail -1)
-            FAILED=$(sed -n 's/.*=.*\([0-9][0-9]*\) failed.*/\1/p' pytest-output.txt | tail -1)
+            # Use [^0-9] to match non-digit before number to avoid greedy matching
+            PASSED=$(sed -n 's/.* \([0-9][0-9]*\) passed.*/\1/p' pytest-output.txt | tail -1)
+            SKIPPED=$(sed -n 's/.* \([0-9][0-9]*\) skipped.*/\1/p' pytest-output.txt | tail -1)
+            FAILED=$(sed -n 's/.* \([0-9][0-9]*\) failed.*/\1/p' pytest-output.txt | tail -1)
 
             # Default to 0 if not found
             PASSED=${PASSED:-0}