From bd7f6aba2886960c57e6298bade397b9c7d3dbd1 Mon Sep 17 00:00:00 2001
From: Vincent Primault <vprimault@salesforce.com>
Date: Thu, 31 Oct 2024 16:16:31 +0100
Subject: [PATCH] Validate stubs

---
 .github/workflows/CI.yml | 3 +++
 requirements-dev.txt     | 1 +
 2 files changed, 4 insertions(+)

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index ac544f4..5d97319 100644
--- 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
index 8166989..0ea4b66 100644
--- a/requirements-dev.txt
+++ b/requirements-dev.txt
@@ -1,5 +1,6 @@
 maturin
 pytest
+mypy
 
 sphinx
 sphinx-copybutton