3 ms·
They probably use (based)pyright which is much faster than mypy and ruff which is much much much faster than pylint.
by Hasnep 1y ago
They probably use (based)pyright which is much faster than mypy and ruff which is much much much faster than pylint.