Skip to content

Conversation

madsmtm
Copy link
Collaborator

@madsmtm madsmtm commented Mar 13, 2025

See #1426 (comment).

Intentionally left out of #1413 to allow testing the CI.

(I think this is actually a rustc issue, but I will wait 'till after the resolution of rust-lang/compiler-team#850 before I go and fix that).

Copy link
Collaborator

@NobodyXu NobodyXu left a comment

Choose a reason for hiding this comment

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

Thanks, LGTM

@madsmtm madsmtm merged commit 8054df0 into rust-lang:main Mar 14, 2025
73 checks passed
@madsmtm madsmtm deleted the wali-target-parsing branch March 14, 2025 13:27
@github-actions github-actions bot mentioned this pull request Mar 21, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants