Skip to content

Comments

chore: rename#259

Merged
KKould merged 1 commit intomainfrom
chore/rename
Jan 16, 2025
Merged

chore: rename#259
KKould merged 1 commit intomainfrom
chore/rename

Conversation

@KKould
Copy link
Member

@KKould KKould commented Jan 16, 2025

What problem does this PR solve?

rename

Code changes

  • Has Rust code change
  • Has CI related scripts change

Check List

Tests

  • Unit test
  • Integration test
  • Manual test (add detailed scripts or steps below)
  • No code

Side effects

  • Performance regression: Consumes more CPU
  • Performance regression: Consumes more Memory
  • Breaking backward compatibility

Note for reviewer

@KKould KKould added the documentation Improvements or additions to documentation label Jan 16, 2025
@KKould KKould merged commit 72f2b2c into main Jan 16, 2025
12 checks passed
@KKould KKould deleted the chore/rename branch July 21, 2025 02:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant