Skip to content

chore: update CI default branch to main - #2

Merged
zhongkechen merged 1 commit into
mainfrom
rename-default-branch-main
Aug 26, 2026
Merged

chore: update CI default branch to main#2
zhongkechen merged 1 commit into
mainfrom
rename-default-branch-main

Conversation

@zhongkechen

Copy link
Copy Markdown
Owner

Summary

  • update the CI push trigger from master to main
  • align workflow configuration with the renamed GitHub default branch

Validation

  • GitHub repository default branch reports main
  • git diff --check passes

@zhongkechen
zhongkechen merged commit 7a0fe67 into main Aug 26, 2026
3 checks passed
@zhongkechen
zhongkechen deleted the rename-default-branch-main branch August 26, 2026 14:33
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