Add type stubs for mypy

quickwit-oss · May 16, 2024 · e471f8f · e471f8f
1 parent 293153f
commit e471f8f
Show file tree

Hide file tree

Showing 3 changed files with 74 additions and 7 deletions.
diff --git a/.github/workflows/publish_lambda_packages.yml b/.github/workflows/publish_lambda_packages.yml
@@ -22,6 +22,7 @@ jobs:
         working-directory: ./distribution/lambda
       - name: Lint and format
         run: |
+            mypy --version
             mypy .
             black . --check
         working-directory: ./distribution/lambda

diff --git a/distribution/lambda/Pipfile b/distribution/lambda/Pipfile
@@ -13,11 +13,12 @@ boto3 = "1.28.59"
 mypy = "1.7.0"
 ziglang = "0.11.0"
 
-# boto3-stubs = "^1.28.39"
-# types-requests = "^2.31.0.2"
-# types-pyyaml = "^6.0.12.11"
 
 [dev-packages]
 
+boto3-stubs = "1.28.59"
+types-requests = "2.31.0.2"
+types-pyyaml = "6.0.12.11"
+
 [requires]
 python_version = ">=3.10,<4.0"
diff --git a/distribution/lambda/Pipfile.lock b/distribution/lambda/Pipfile.lock