Add BasedPyright + Makefile commands (#858)

2026-10-05 12:41:13 +01:00 · 2026-04-10 17:12:54 +01:00
parent 7bc6a9f8c6
commit 8e78fea947
8 changed files with 75 additions and 33 deletions
@@ -30,6 +30,12 @@ jobs:
      - name: Check backend formatting
        run: uv run ruff format --check shelfmark

+      - name: Typecheck backend
+        run: uv run basedpyright
+
+      - name: Check backend dead code
+        run: uv run vulture shelfmark
+
      - name: Run tests
        run: uv run pytest tests/ -x --tb=short