Hacker News new | ask | show | jobs
by lhnz 3201 days ago
Perhaps you could run the type-checker separately on a 'prepush' hook.