-
Notifications
You must be signed in to change notification settings - Fork 5.8k
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
New Analysis basic infrastructure #14538
Conversation
e8c8ec3
to
91025e0
Compare
8b269ff
to
5e54cf2
Compare
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.
There are some minor tweaks I think we should do before merging this. I also added some readability tweaks as fixups.
But overall it looks fine. Honestly, I expected much more invasive changes in this PR :)
b2b9204
to
14aed39
Compare
Rebased and squashed commits. |
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.
I'm fine with merging this after squashing it a bit (happened while I was approving ;-))!
resolves #14531.
I cherry-picked the related files from commits in #14510 and made the necessary adjustments.