Personally, I find that I don't really need full type checking on every build. For most small changes, the errors shown in vscode are sufficient while editing,

Personally, I find that I don't really need full type checking on every build. For most small changes, the errors shown in vscode are sufficient while editing, and then full type checking can be run occasionally when needed (and in CI of course).