test(python): add typecheck of generated types

Author: nokome

.github/workflows/primary.yml

@@ -29,7 +29,7 @@ jobs:
 
       - run: pnpm install --frozen-lockfile
 
-      # Typecheck first (before format/lint possibly change line numbers)
+      # Typecheck generation code in scripts/ (before format/lint possibly change line numbers)
       - run: pnpm typecheck
 
       # On push: auto-fix formatting and linting (will be committed)
@@ -44,7 +44,12 @@ jobs:
       - run: pnpm lint
         if: github.event_name == 'pull_request'
 
-      - run: pnpm codegen all
+      - name: Generate types
+        run: pnpm codegen all
+
+      # Typecheck generated code (Python via ty, TypeScript via tsc)
+      - run: uv run ty check src/
+        working-directory: packages/oxa-types-py
       - run: pnpm test
 
       - name: Commit changes

packages/oxa-types-py/pyproject.toml

@@ -35,4 +35,5 @@ packages = ["src/oxa_types"]
 [tool.uv]
 dev-dependencies = [
     "ruff>=0.14",
+    "ty>=0.0.1a13",
 ]