Skip to content

chore(ci): remove unused tool#24

Closed
fanlv wants to merge 1 commit intomainfrom
fix/ci
Closed

chore(ci): remove unused tool#24
fanlv wants to merge 1 commit intomainfrom
fix/ci

Conversation

@fanlv
Copy link
Copy Markdown
Collaborator

@fanlv fanlv commented Jul 26, 2025

What type of PR is this?

Check the PR title.

  • This PR title match the format: <type>(optional scope): <description>
  • The description of this PR title is user-oriented and clear enough for others to understand.
  • Add documentation if the current PR requires user awareness at the usage level.

(Optional) Translate the PR title into Chinese.

(Optional) More detailed description for this PR(en: English/zh: Chinese).

en:
zh(optional):

(Optional) Which issue(s) this PR fixes:

@fanlv fanlv closed this Jul 26, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant