Skip to content

Merge pull request #979 from JetBrains/merge/mps20223 #148

Merge pull request #979 from JetBrains/merge/mps20223

Merge pull request #979 from JetBrains/merge/mps20223 #148

Triggered via push October 14, 2024 10:35
Status Success
Total duration 14s
Artifacts
create-pr  /  create-pr
4s
create-pr / create-pr
Fit to window
Zoom out
Zoom in