Skip to content

Conversation

@jeffcharles
Copy link
Contributor

Part of #8093.

@jeffcharles jeffcharles requested review from a team as code owners January 20, 2025 15:53
@jeffcharles jeffcharles requested review from fitzgen and removed request for a team January 20, 2025 15:53
@github-actions github-actions bot added the winch Winch issues or pull requests label Jan 20, 2025
@github-actions
Copy link

Subscribe to Label Action

cc @saulecabrera

Details This issue or pull request has been labeled: "winch"

Thus the following users have been cc'd because of the following labels:

  • saulecabrera: winch

To subscribe or unsubscribe from this label, edit the .github/subscribe-to-label.json configuration file.

Learn more.

@saulecabrera saulecabrera added this pull request to the merge queue Jan 21, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Jan 21, 2025
@saulecabrera
Copy link
Member

I'll retry the merge queue once #10059 is merged, I believe that's the root cause of the failure.

@alexcrichton alexcrichton added this pull request to the merge queue Jan 21, 2025
Merged via the queue into bytecodealliance:main with commit 12649ac Jan 21, 2025
39 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

winch Winch issues or pull requests

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants