Skip to content

chore: merge main into dev after v0.7.2 - #21

Merged
lexoliu merged 3 commits into
devfrom
chore/sync-main-0.7.2
Nov 9, 2026
Merged

lexoliu merged 3 commits into
devfrom
chore/sync-main-0.7.2

Conversation

@lexoliu

@lexoliu lexoliu commented Nov 9, 2026

Copy link
Copy Markdown
Owner

Brings the v0.7.2 release merge commit back to dev.

@codecov-commenter

Copy link
Copy Markdown

⚠️ Please install the 'codecov app svg image' to ensure uploads and comments are reliably processed by Codecov.

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@lexoliu
lexoliu merged commit c84b1a0 into dev Nov 9, 2026
20 checks passed
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.

2 participants