Skip to content

Conversation

asquared31415
Copy link
Contributor

cc #1970

Copy link

github-actions bot commented Oct 2, 2025

Dry-run check results

[WARN  sync_team] sync-team is running in dry mode, no changes will be applied.
[INFO  sync_team] synchronizing github

@jieyouxu jieyouxu added needs-team-repo-admin-review This change requires one of the `team-repo-admins` to review. S-waiting-on-review Status: waiting on review from a team/WG/PG lead, an infra-admin, and/or a team-repo-admin. labels Oct 3, 2025
@jieyouxu jieyouxu added this pull request to the merge queue Oct 3, 2025
Merged via the queue into rust-lang:master with commit 18ab2e8 Oct 3, 2025
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
needs-team-repo-admin-review This change requires one of the `team-repo-admins` to review. S-waiting-on-review Status: waiting on review from a team/WG/PG lead, an infra-admin, and/or a team-repo-admin.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants