Skip to content

Sync with the ultimate master#1086

Merged
auduchinok merged 2 commits intomainfrom
plugins-sync/merge-robot-ultimate-master-2026-03-03
Mar 3, 2026
Merged

Sync with the ultimate master#1086
auduchinok merged 2 commits intomainfrom
plugins-sync/merge-robot-ultimate-master-2026-03-03

Conversation

@jetbrains-net-syncer
Copy link

Sync with the ultimate master.

GitOrigin-RevId: 21049be39936507dab4e11d9888ae6ae4969ac90
…sbility, and imported scope checks

Also add more interrupt checks

GitOrigin-RevId: 47f3383e0ac26fe9c0d352ad57aca608a501e166
@auduchinok auduchinok merged commit 57f7e28 into main Mar 3, 2026
1 check passed
@auduchinok auduchinok deleted the plugins-sync/merge-robot-ultimate-master-2026-03-03 branch March 3, 2026 07:40
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.

1 participant