Use Ty for Python type checking (#676)

temeddix · web-flow · commit f9c390aa56e7 · 2026-04-26T12:51:29.000+09:00
* Use Ty for Python type checking

* Use lock file for CLI tool installation

* Fix a step name
diff --git a/.github/workflows/quality_control.yaml b/.github/workflows/quality_control.yaml
@@ -106,8 +106,8 @@ jobs:
         with:
           enable-cache: false
 
-      - name: Run Pyright
-        run: uv run pyright
+      - name: Run Ty
+        run: uv run ty check
 
       - name: Run Ruff
         run: uv run ruff check .
diff --git a/.vscode/extensions.json b/.vscode/extensions.json
@@ -0,0 +1,9 @@
+{
+  "recommendations": [
+    "rust-lang.rust-analyzer",
+    "charliermarsh.ruff",
+    "astral-sh.ty",
+    "tamasfe.even-better-toml",
+    "dart-code.flutter"
+  ]
+}
diff --git a/pyproject.toml b/pyproject.toml
@@ -4,17 +4,17 @@
 # `uv run automate [command_type]`.
 
 [dependency-groups]
-dev = ["ruff", "pyright"]
+dev = ["ruff", "ty"]
 
 [tool.uv.workspace]
 members = ["automate", "documentation"]
 
+[tool.ty.rules]
+all = "error"
+
 [tool.ruff.lint]
 select = ["ALL"]
 ignore = ["TC", "BLE", "S602"]
 
-[tool.pyright]
-typeCheckingMode = "strict"
-
 [tool.ruff.lint.per-file-ignores]
 "documentation/**/*.py" = ["A001"]
diff --git a/rust_crate_cli/src/tool/webassembly.rs b/rust_crate_cli/src/tool/webassembly.rs
@@ -63,11 +63,11 @@ fn install_wasm_toolchain() -> Result<(), SetupError> {
     .output()?
     .capture_err()?;
   Command::new("cargo")
-    .args(["install", "wasm-pack"])
+    .args(["install", "--locked", "wasm-pack"])
     .output()?
     .capture_err()?;
   Command::new("cargo")
-    .args(["install", "wasm-bindgen-cli"])
+    .args(["install", "--locked", "wasm-bindgen-cli"])
     .output()?
     .capture_err()?;
   Ok(())
