python_type_check CI is broken: missing stubs for requests module

[AnirudhDagar]

🐛 Bug

The python_type_check CI is failing since mypy can't find library stubs for requests module used here .
This can be seen in the failed tests for the recent commit by @prabhat00155 (although those changes are completely unrelated to this) and on some other PRs like #4008 (edit: and #4010)

Pitch

A simple fix would be to install them with python3 -m pip install types-requests or to avoid something like this happening later we should just run mypy --install-types to install all the missing stubs.

[AnirudhDagar]

After digging up a bit more, I found that this sudden appearance is probably due to the mypy 0.900 release today.

According to the docs:

Starting in mypy 0.900, most third-party package stubs must be installed explicitly. This decouples mypy and stub versioning, allowing stubs to updated without updating mypy. This also allows stubs not originally included with mypy to be installed. Earlier mypy versions included a fixed set of stubs for third-party packages.

cc @NicolasHug @pmeier

[NicolasHug]

reopening as #4011 is just a quick band aid

[AnirudhDagar]

Should I go ahead with a PR for this one @NicolasHug?

[NicolasHug]

yes @AnirudhDagar , thanks!

[AnirudhDagar]

Closing this now, fixed with #4014.