Switch to pyright

2025-10-22 01:32:32 +02:00 · 2025-10-19 16:28:41 +02:00
parent c1c78673aa
commit bb0d68da65
3 changed files with 21 additions and 65 deletions
--- a/scripts/check
+++ b/scripts/check
@@ -2,5 +2,5 @@

 set -e

-uv run mypy .
+uv run pyright .
 uv run ruff check