Skip to content
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

Sync with the ultimate master #704

Merged
merged 8 commits into from
Aug 24, 2024

Conversation

net-jetbot[bot]
Copy link

@net-jetbot net-jetbot bot commented Aug 24, 2024

Sync with the ultimate master.

Nikita Popov and others added 8 commits August 24, 2024 06:32
GitOrigin-RevId: cc0d2936e6789c7e4a6ac44073d4402d5626dfc7
GitOrigin-RevId: e0778287a5198615284da86fdc5c3cb54887427c
GitOrigin-RevId: 9233de9d04f3a5193853d3d8d6dad4f0275562ea
GitOrigin-RevId: 9eecbcff835f649bea5de68f7f74dc325713086a
GitOrigin-RevId: 5d9a5140b2b02097bb462088d0c135e441dd07b6
…test rich text tooltips in highlighting tests

GitOrigin-RevId: acd7efb8637d4f54c4735bf350fa2c76b2503f03
GitOrigin-RevId: 59e3cba0e1d0eefcd4028651e0352d261363e4ed
…x code completion/resolve perf issue: extension methods from non-references modules were checked for types before filtering out by accessibility

GitOrigin-RevId: 8db8b0253593cd6a5f14c6dfa09d23cde35eaeda
@auduchinok auduchinok merged commit 6cd4da3 into main Aug 24, 2024
1 check passed
@auduchinok auduchinok deleted the plugins-sync/merge-robot-ultimate-master-2024-08-24 branch October 4, 2024 08:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants