Change CI to use ty

PierreQuinton · PierreQuinton · commit 0b65d7527edd · 2026-02-02T16:09:31.000+01:00
diff --git a/.github/workflows/checks.yml b/.github/workflows/checks.yml
@@ -122,8 +122,8 @@ jobs:
         with:
           groups: check
 
-      - name: Run mypy
-        run: uv run mypy src/torchjd
+      - name: Run ty
+        run: uv run ty src/torchjd
 
   check-todos:
     name: Absence of TODOs
diff --git a/pyproject.toml b/pyproject.toml
@@ -66,7 +66,7 @@ Changelog = "https://github.com/TorchJD/torchjd/blob/main/CHANGELOG.md"
 
 [dependency-groups]
 check = [
-    "mypy>=1.16.0",
+    "ty>=0.0.14",
     "pre-commit>=2.9.2",  # isort doesn't work before 2.9.2
 ]
 

Original file line number	Diff line number	Diff line change
`@@ -66,7 +66,7 @@ Changelog = "https://github.com/TorchJD/torchjd/blob/main/CHANGELOG.md"`
`66`	`66`
`67`	`67`	`[dependency-groups]`
`68`	`68`	`check = [`
`69`		`- "mypy>=1.16.0",`
	`69`	`+ "ty>=0.0.14",`
`70`	`70`	`"pre-commit>=2.9.2", # isort doesn't work before 2.9.2`
`71`	`71`	`]`
`72`	`72`