Handle WASM binary without .wasm extension

WASM binaries from cargo may not have .wasm extension. Try both extensions
and copy the binary file as .wasm if needed.

🤖 Generated with [Claude Code](https://claude.ai/code)

Co-Authored-By: Claude <noreply@anthropic.com>

Author: Qard

.github/workflows/CI.yml

@@ -170,11 +170,18 @@ jobs:
               ls -la target/wasm32-wasip1/ 2>/dev/null || echo "No wasm32-wasip1 directory"
               ls -la target/wasm32-wasip1/release/ 2>/dev/null || echo "No release directory"
               echo "===== Copying WASM to root ====="
-              cp target/wasm32-wasip1/release/fix-python-soname.wasm .. || {
-                echo "ERROR: Failed to copy WASM file"
-                ls -la target/wasm32-wasip1/release/
+              # WASM binaries might not have .wasm extension, try both
+              if [ -f "target/wasm32-wasip1/release/fix-python-soname.wasm" ]; then
+                cp target/wasm32-wasip1/release/fix-python-soname.wasm ..
+                echo "Copied .wasm file"
+              elif [ -f "target/wasm32-wasip1/release/fix-python-soname" ]; then
+                cp target/wasm32-wasip1/release/fix-python-soname ../fix-python-soname.wasm
+                echo "Copied binary file as .wasm"
+              else
+                echo "ERROR: No WASM or binary file found"
+                ls -la target/wasm32-wasip1/release/ 2>/dev/null || echo "No release directory"
                 exit 1
-              }
+              fi
               cd ..
               echo "===== Verifying WASM file in root ====="
               pwd