Skip to content

Conversation

@GuillaumeGomez
Copy link
Member

Take over of #2752.

@GuillaumeGomez GuillaumeGomez requested a review from a team as a code owner March 5, 2025 14:00
@github-actions github-actions bot added the S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed label Mar 5, 2025
@GuillaumeGomez GuillaumeGomez force-pushed the navbar-search-input branch 2 times, most recently from 2e7e297 to beaeb85 Compare March 5, 2025 14:39
@GuillaumeGomez
Copy link
Member Author

CI finally happy. :)

@syphar syphar merged commit 0e7f0ec into rust-lang:master Mar 17, 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 Mar 17, 2025
@GuillaumeGomez GuillaumeGomez deleted the navbar-search-input branch March 17, 2025 09:45
@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 Mar 28, 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.

3 participants