Skip to content

Conversation

@lowrisc-ci
Copy link

@lowrisc-ci lowrisc-ci bot commented Sep 4, 2025

This is an automatic cherry-pick of #28145 to branch master.

Previously, this was causing a linking error when compiling with rustc

Signed-off-by: Amit Kumar-Hermosillo <[email protected]>
(cherry picked from commit 419fd91)
@jwnrt jwnrt added this pull request to the merge queue Feb 6, 2026
@jwnrt jwnrt removed this pull request from the merge queue due to a manual request Feb 6, 2026
@jwnrt jwnrt closed this Feb 6, 2026
@jwnrt jwnrt reopened this Feb 6, 2026
@jwnrt
Copy link
Contributor

jwnrt commented Feb 6, 2026

Oops, I didn't see how old this was. Closing/opening to retrigger CI

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants