Skip to content

Conversation

GuillaumeGomez
Copy link
Member

No description provided.

@GuillaumeGomez GuillaumeGomez requested a review from a team as a code owner August 30, 2025 16:41
@github-actions github-actions bot added the S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed label Aug 30, 2025
@GuillaumeGomez GuillaumeGomez force-pushed the update-dep branch 6 times, most recently from 9c64768 to 88fcb66 Compare August 31, 2025 11:50
@GuillaumeGomez
Copy link
Member Author

Finally made it work! \o/

Copy link
Member

@syphar syphar left a comment

Choose a reason for hiding this comment

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

super nice, thanks!

@syphar syphar merged commit 20fca12 into rust-lang:master Sep 1, 2025
9 checks passed
@github-actions github-actions bot added S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it and removed S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed labels Sep 1, 2025
@GuillaumeGomez GuillaumeGomez deleted the update-dep branch September 1, 2025 10:19
@syphar syphar removed the S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it label Sep 12, 2025
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