Open jasongraffius opened 1 month ago
Add automated type-checking to incoming pull requests, and potentially to a pre-submit hook.
Add automated type-checking to incoming pull requests, and potentially to a pre-submit hook.