PR to merge into the next version

Merge pull request #1711 from JetBrains/merge/mps20251 #511

Sign in to view logs

Re-run triggered January 14, 2026 13:48

sergej-koscejev

maintenance/mps20251

Status Success

Total duration 14s

Artifacts –

PR-into-next-version.yml

on: push