-
-
Notifications
You must be signed in to change notification settings - Fork 1.4k
feat: explain typecheck and remove it from the linter list #3929
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
c67349a
to
a165b7c
Compare
61adb83
to
becee2f
Compare
Something is weird: some tests don't fail locally but fail on the CI, and the failures on the CI are right. Anyway, I fixed all the tests. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Nice! Should we add a link to this section in the issue template so we increase the chances of people finding this before creating an issue?
I will do that inside PR #3930 after the merge of this PR. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM!
typecheck
typecheck
from the lists of linters (doc, help, etc.)typecheck
Fixes #3460