Skip to content

Conversation

@zielinsky
Copy link
Member

@zielinsky zielinsky force-pushed the xray-porting branch 3 times, most recently from 3f01f8c to 303da34 Compare September 10, 2025 09:31
@zielinsky zielinsky marked this pull request as ready for review September 10, 2025 09:39
Co-authored-by: Henry Parker <henryxparker@gmail.com>
Copy link
Contributor

@tgodzik tgodzik left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM!

@tgodzik tgodzik merged commit 1315eda into scala:main Sep 12, 2025
44 checks passed
HarrisL2 pushed a commit to HarrisL2/scala3 that referenced this pull request Sep 12, 2025
Porting scalameta/metals#7639 Co-authored-by: Henry Parker <henryxparker@gmail.com>
tgodzik pushed a commit to tgodzik/scala3 that referenced this pull request Sep 17, 2025
Porting scalameta/metals#7639 Co-authored-by: Henry Parker <henryxparker@gmail.com>
WojciechMazur pushed a commit that referenced this pull request Sep 23, 2025
Porting scalameta/metals#7639 Co-authored-by: Henry Parker <henryxparker@gmail.com> [Cherry-picked 1315eda]
WojciechMazur added a commit that referenced this pull request Sep 23, 2025
Backports #23891 to the 3.7.4. PR submitted by the release tooling. [skip ci]
@WojciechMazur WojciechMazur added this to the 3.7.4 milestone Sep 23, 2025
tgodzik pushed a commit to scala/scala3-lts that referenced this pull request Sep 26, 2025
Porting scalameta/metals#7639 Co-authored-by: Henry Parker <henryxparker@gmail.com> [Cherry-picked 1315eda]
tgodzik pushed a commit to scala/scala3-lts that referenced this pull request Oct 28, 2025
Porting scalameta/metals#7639 Co-authored-by: Henry Parker <henryxparker@gmail.com> [Cherry-picked 1315eda]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

3 participants