-
Notifications
You must be signed in to change notification settings - Fork 657
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
Separate lint into several jobs #3902
Conversation
07eb44a
to
a9e2fb7
Compare
161873e
to
bb8118a
Compare
Do we really want to do this without the parallelization benefits that we got in -contrib? |
We will get the same parallelization benefits here since we will be creating more, smaller lint jobs instead of having just a big one. |
Apologies for the delay in this pr. I want to bring it up one more time during the SIG to get the final opinions about it before approving. |
This reverts commit 34d6139.
Fixes #3887