Skip to content

Conversation

@mrobinson
Copy link
Member

No description provided.

@mrobinson mrobinson enabled auto-merge November 13, 2025 14:37
@mrobinson
Copy link
Member Author

Sadly it seems like other tests are timing out. The situation with the CI is quite bad lately. :/

@sagudev
Copy link
Member

sagudev commented Nov 13, 2025

windows problem is #329, but CI was always bad in surfman. I think nextest would help us (and allow us to remove serial).

@mrobinson mrobinson added this pull request to the merge queue Nov 16, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 16, 2025
@jdm jdm added this pull request to the merge queue Nov 16, 2025
Merged via the queue into servo:main with commit f351c46 Nov 16, 2025
83 of 87 checks passed
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.

3 participants