Fix CI: add --ignore-missing-imports to mypy

Author: mcandiri

.github/workflows/ci.yml

@@ -87,4 +87,4 @@ jobs:
         run: pip install -e ".[dev]"
 
       - name: Run mypy
-        run: mypy src/
+        run: mypy src/ --ignore-missing-imports