Validate stubs

inducer · Oct 31, 2024 · bd7f6ab · bd7f6ab
1 parent 855b306
commit bd7f6ab
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -136,6 +136,9 @@ jobs:
 
       - name: Run tests
         run: pytest --tb=native test
+
+      - name: Validate stubs
+        run: python -m mypy.stubtest --ignore-missing-stub starlark
 
       - name: Run example
         run: |

diff --git a/requirements-dev.txt b/requirements-dev.txt
@@ -1,5 +1,6 @@
 maturin
 pytest
+mypy
 
 sphinx
 sphinx-copybutton