Skip to content

Conversation

zhanluxianshen
Copy link
Contributor

No description provided.

Signed-off-by: zhanluxianshen <zhanluxianshen@163.com>
@Hoverbear
Copy link
Member

Thanks for this! :)

@Hoverbear
Copy link
Member

bors merge

bors-ferrocene bot added a commit that referenced this pull request Mar 3, 2025
1343: tools pull-upstream code clean. r=Hoverbear a=zhanluxianshen



Co-authored-by: zhanluxianshen <zhanluxianshen@163.com>
@bors-ferrocene
Copy link
Contributor

bors-ferrocene bot commented Mar 3, 2025

Build failed:

  • full

@tshepang
Copy link
Member

tshepang commented Mar 4, 2025

bors retry

@bors-ferrocene
Copy link
Contributor

bors-ferrocene bot commented Mar 4, 2025

Build succeeded:

  • full

@bors-ferrocene bors-ferrocene bot merged commit 3d101d9 into ferrocene:main Mar 4, 2025
2 checks passed
@github-actions github-actions bot added backport:maybe PR candidate for backport merged-in:1.87 labels Mar 4, 2025
@zhanluxianshen zhanluxianshen deleted the tools-pr-clean branch March 4, 2025 12:04
@zhanluxianshen
Copy link
Contributor Author

thanks.

@Hoverbear Hoverbear removed the backport:maybe PR candidate for backport label May 5, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants