PR to merge into the next version

Merge pull request #1721 from JetBrains/merge/mps20241 #516

Sign in to view logs

Triggered via push January 26, 2026 16:25

mps-ci-buildbot

maintenance/mps20241

Status Success

Total duration 13s

Artifacts –

PR-into-next-version.yml

on: push