Skip to content

Merge pull request #1072 from JetBrains/merge/mps20241 #190

Merge pull request #1072 from JetBrains/merge/mps20241

Merge pull request #1072 from JetBrains/merge/mps20241 #190

Triggered via push December 4, 2024 11:54
Status Success
Total duration 15s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
create-pr
7s
create-pr
Fit to window
Zoom out
Zoom in

Annotations

1 warning
create-pr
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636