Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

perf: Modifying commands #1423

Merged
merged 2 commits into from
Aug 21, 2024
Merged

perf: Modifying commands #1423

merged 2 commits into from
Aug 21, 2024

Conversation

fit2bot
Copy link
Contributor

@fit2bot fit2bot commented Aug 21, 2024

perf: Modifying commands

@fit2bot fit2bot requested a review from a team August 21, 2024 06:44
Copy link

@feng626 feng626 merged commit 988d075 into dev Aug 21, 2024
1 check passed
@feng626 feng626 deleted the pr@dev@fix_build_opt branch August 21, 2024 06:49
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.

2 participants