2 ms·Perhaps you could run the type-checker separately on a 'prepush' hook.by lhnz 9y agoPerhaps you could run the type-checker separately on a 'prepush' hook.