Skip to content

chore: update workflow to use github by default - #15

Merged
GuangmingLuo merged 1 commit into
mainfrom
use-default
Jul 26, 2024
Merged

chore: update workflow to use github by default#15
GuangmingLuo merged 1 commit into
mainfrom
use-default

Conversation

@GuangmingLuo

Copy link
Copy Markdown
Member

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.
  • Attach the PR updating the user documentation if the current PR requires user awareness at the usage level. User docs repo

(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:

(optional) The PR that updates user documentation:

@GuangmingLuo
GuangmingLuo merged commit b817dc7 into main Jul 26, 2024
@GuangmingLuo
GuangmingLuo deleted the use-default branch July 26, 2024 06:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants