On Mon, Sep 21, 2020 at 10:05:24AM +0200, Markus Armbruster wrote: [...] > I sense a certain wobbliness in mypy. Perhaps to be expected from a > tool with major version zero. There's a risk that developers' local > "make check" and our gating CI differ too much. We'll see.
This possibility shouldn't exist. If you don't have the required version in your system, the validation script must know how to create a virtualenv and install the right version inside it. -- Eduardo
