Public search query: mypy error: cannot find implementation or library stub for module in CI