Skip to content

Conversation

kezhenxu94
Copy link
Member

  • If this pull request closes/resolves/fixes an existing issue, replace the issue url. Closes:
  • Update the CHANGELOG.md.

@kezhenxu94 kezhenxu94 requested a review from wu-sheng May 6, 2025 08:03
@kezhenxu94 kezhenxu94 added the chore Project chores label May 6, 2025
@kezhenxu94 kezhenxu94 added this to the 1.2.0 milestone May 6, 2025
@kezhenxu94 kezhenxu94 merged commit 1f091ee into master May 6, 2025
62 checks passed
@kezhenxu94 kezhenxu94 deleted the fixlint branch May 6, 2025 08:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore Project chores
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants