Skip to content

Merge pull request #1717 from JetBrains/renovate/maintenance/mps20241… #520

Merge pull request #1717 from JetBrains/renovate/maintenance/mps20241…

Merge pull request #1717 from JetBrains/renovate/maintenance/mps20241… #520

Triggered via push January 30, 2026 09:20
Status Success
Total duration 14s
Artifacts
create-pr
9s
create-pr
Fit to window
Zoom out
Zoom in