Skip to content

chore: promote dev to main - #10

Merged
github-actions[bot] merged 4 commits into
mainfrom
dev
Oct 8, 2026
Merged

github-actions[bot] merged 4 commits into
mainfrom
dev

Conversation

@soulbah

@soulbah soulbah commented Oct 8, 2026

Copy link
Copy Markdown
Contributor

Change

Fast-forward main to reviewed dev, including publication validation and missing CLI recovery coverage.

Validation

PR #9 passed verify and CodeQL for Actions, TypeScript and Rust. Promotion checks the exact dev head; no package or store publication.

@github-actions
github-actions Bot merged commit ca5d733 into main Oct 8, 2026
9 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.

1 participant