3 ms·

mypy and ruff are complementary, and as far as I know have no overlap. Strongly recommend using both.