Uh oh!
There was an error while loading.Please reload this page.
- Notifications
You must be signed in to change notification settings - Fork2.8k
Closed
Description
Following#259: it's inconvenient to wait for a full lint + typecheck after everygit push. CI builds reinforce them anyway. Can they be removed, please?