Skip to content

Conversation

@jordancarlin
Copy link
Collaborator

No description provided.

@github-actions
Copy link

Test Results

2 115 tests   2 115 ✅  17m 39s ⏱️
    1 suites      0 💤
    1 files        0 ❌

Results for commit 510fc1e.

@Timmmm
Copy link
Collaborator

Timmmm commented Dec 23, 2025

Hmm did this get broken on master somehow? I thought that should be impossible because we use a merge queue. Definitely worth investigating.

@jordancarlin
Copy link
Collaborator Author

Hmm did this get broken on master somehow? I thought that should be impossible because we use a merge queue. Definitely worth investigating.

Agreed. See #1437 (comment) for some initial insights.

@pmundkur pmundkur added the will be merged Scheduled to be merged soon if nobody objects label Dec 23, 2025
@jordancarlin jordancarlin added this pull request to the merge queue Dec 24, 2025
Merged via the queue into riscv:master with commit 04e5959 Dec 24, 2025
13 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

will be merged Scheduled to be merged soon if nobody objects

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants