ci: install types-requests and ignore missing stomp types in mypy config

Adds types-requests to the PR build workflow to resolve missing stubs.
Updates pyproject.toml to silence mypy errors for stomp imports.

Author: plexoos

.github/workflows/build-pull-request.yaml

@@ -32,7 +32,7 @@ jobs:
         run: |
           python -m pip install --upgrade pip
           pip install .
-          pip install mypy
+          pip install mypy types-requests
 
       - name: Type check with mypy
         run: |

pyproject.toml

@@ -19,3 +19,7 @@ dependencies = [
 
 [tool.setuptools.packages.find]
 where = ["src"]
+
+[[tool.mypy.overrides]]
+module = "stomp.*"
+ignore_missing_imports = true