Fix CI: restore paravirtual skip for test_01, add numpy to Ty env

test_01_adder uses newDefaultLibrary() which the paravirtual CI GPU
cannot load (results are silently all-zero regardless of array size),
while tests 02 and 03 load their metallib explicitly and run fine.
Restore the SKIP_RETURN_CODE 77 path; keep the 10K array override so
the test executes quickly on real Apple Silicon.

uvx --with numpy ty check: Ty needs numpy installed to resolve the
'from numpy import ndarray' stub import.

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

Author: larsgeb

.github/workflows/ci.yml

@@ -55,7 +55,7 @@ jobs:
         run: uvx ruff format --check python/ demo.py wave_demo.py
 
       - name: Ty type check
-        run: uvx ty check python/
+        run: uvx --with numpy ty check python/
 
   python-bindings:
     name: Python bindings smoke test (Apple Silicon, Metal)

CMakeLists.txt

@@ -204,6 +204,8 @@ set_target_properties(test_01_adder PROPERTIES
 add_test(NAME test_01_adder COMMAND test_01_adder
     WORKING_DIRECTORY "${CMAKE_BINARY_DIR}/01-MetalAdder"
 )
+# newDefaultLibrary() doesn't work on the CI paravirtual GPU; skip gracefully.
+set_tests_properties(test_01_adder PROPERTIES SKIP_RETURN_CODE 77)
 
 add_executable(test_02_1d_ops
     tests/test_02_1d_ops.cpp

tests/test_01_adder.cpp

@@ -24,7 +24,18 @@ int main()
         std::cerr << "FAIL: No Metal device found." << std::endl;
         return 1;
     }
-    std::cout << "Running on " << device->name()->utf8String() << std::endl;
+    std::string deviceName = device->name()->utf8String();
+    std::cout << "Running on " << deviceName << std::endl;
+
+    // MetalAdder uses newDefaultLibrary() which the Apple Paravirtual device
+    // cannot load correctly — results are silently all-zero regardless of size.
+    // Tests 02 and 03 load their metallib explicitly and run fine on the VM.
+    if (deviceName.find("Paravirtual") != std::string::npos)
+    {
+        std::cout << "SKIP: newDefaultLibrary() not supported on Paravirtual device." << std::endl;
+        device->release();
+        return 77; // CTest SKIP_RETURN_CODE
+    }
 
     MetalAdder *adder = new MetalAdder(device);