Skip to content

Merge pull request #1226 from JetBrains/merge/mps20243 #271

Merge pull request #1226 from JetBrains/merge/mps20243

Merge pull request #1226 from JetBrains/merge/mps20243 #271

Triggered via push March 11, 2025 15:25
Status Success
Total duration 20s
Artifacts
create-pr
8s
create-pr
Fit to window
Zoom out
Zoom in