Skip to content

Release v0.8.0 - #48

Merged
zhengchaol merged 1 commit into
mainfrom
release/v0.8.0
Aug 10, 2026
Merged

Release v0.8.0#48
zhengchaol merged 1 commit into
mainfrom
release/v0.8.0

Conversation

@zhengchaol

Copy link
Copy Markdown
Contributor

Release checklist

  • Review version bumps and changelog-relevant changes
  • Merge this PR to main

Any merged release/v* PR triggers the automatic tag + GitHub Release workflow.

@zhengchaol
zhengchaol merged commit 09c138b into main Aug 10, 2026
1 check passed
@zhengchaol
zhengchaol deleted the release/v0.8.0 branch August 10, 2026 20:17
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