Skip to content

Merge pull request #1214 from JetBrains/merge/mps20241 #261

Merge pull request #1214 from JetBrains/merge/mps20241

Merge pull request #1214 from JetBrains/merge/mps20241 #261

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