The explanation isn't great, but the reasoning is that people will already have their IDE running TypeScript + type checking running on commit, so adding that o

The explanation isn't great, but the reasoning is that people will already have their IDE running TypeScript + type checking running on commit, so adding that onto the process just slows it down without much real gain. (This is of course assuming that most type errors are largely localized enough that your IDE will find them).