Skip to content

Merge pull request #806 from JetBrains/merge/mps20213 #59

Merge pull request #806 from JetBrains/merge/mps20213

Merge pull request #806 from JetBrains/merge/mps20213 #59

Triggered via push March 22, 2024 20:17
Status Success
Total duration 16s
Artifacts
create-pr  /  create-pr
5s
create-pr / create-pr
Fit to window
Zoom out
Zoom in