Pyright is much faster than Mypy, we changed some times ago and went from something like 20 mins to less than 2.