New mypy is out and it'd giving us some headaches - bunch of others are complaing about it eg quite a few 1.11-related issues at https://github.com/python/mypy/issues - I don't know what the best solution is, I'd pin mypy until they fix all their wiggles. What do @bouweandela and @schlunma think?
New
mypy
is out and it'd giving us some headaches - bunch of others are complaing about it eg quite a few 1.11-related issues at https://github.com/python/mypy/issues - I don't know what the best solution is, I'd pinmypy
until they fix all their wiggles. What do @bouweandela and @schlunma think?