Skip to content

Merge pull request #930 from JetBrains/merge/mps20223 #126

Merge pull request #930 from JetBrains/merge/mps20223

Merge pull request #930 from JetBrains/merge/mps20223 #126

Triggered via push August 27, 2024 10:43
Status Success
Total duration 16s
Artifacts
create-pr  /  create-pr
7s
create-pr / create-pr
Fit to window
Zoom out
Zoom in