loud-laptop-17949
04/22/2022, 7:43 PMDetermine if necessary to partition MyPy input.
when running lint
over python files? I though that mypy ran for the check
goal only.bitter-ability-32190
04/22/2022, 7:45 PMhundreds-father-404
04/22/2022, 7:46 PMloud-laptop-17949
04/22/2022, 8:00 PMhundreds-father-404
04/22/2022, 8:01 PMloud-laptop-17949
04/22/2022, 8:05 PM⠓ 65.83s Determine if necessary to partition MyPy input
witty-crayon-22786
04/22/2022, 9:47 PM2.11.0
(which we’re hoping to cut Wednesday), but we could certainly do it in 2.11.1