Skip to content

Conversation

Arielfoever
Copy link
Contributor

No description provided.

Signed-off-by: Ariel Xiong <[email protected]>
Copy link
Collaborator

@cmuellner cmuellner left a comment

Choose a reason for hiding this comment

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

LGTM

@cmuellner
Copy link
Collaborator

The CI fails because fetching dejagnu (from https://git.savannah.gnu.org/git/dejagnu.git) fails with error: RPC failed; HTTP 502 curl 22 The requested URL returned error: 502.

I'll wait a day or so before trying again.

@Arielfoever
Copy link
Contributor Author

The CI fails because fetching dejagnu (from https://git.savannah.gnu.org/git/dejagnu.git) fails with error: RPC failed; HTTP 502 curl 22 The requested URL returned error: 502.

I'll wait a day or so before trying again.

I really hate network problems ❌

@Arielfoever
Copy link
Contributor Author

More comment: maybe it's needed by #1713

@cmuellner cmuellner merged commit 23863c2 into riscv-collab:master May 15, 2025
85 of 93 checks passed
@cmuellner
Copy link
Collaborator

Thanks!

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.

2 participants