Skip to content

Merge dev into main#82

Merged
factory-nizar merged 0 commit into
mainfrom
dev
Apr 28, 2026
Merged

Merge dev into main#82
factory-nizar merged 0 commit into
mainfrom
dev

Conversation

@factory-nizar
Copy link
Copy Markdown
Contributor

Promotes dev to main. Last release was Release v5 (#78) on 2026-04-16 (12 days ago).

Changes since v5

Only 2 PRs have landed on dev since the last release:

Code vs. docs

Notes

Opened as draft — convert to ready-for-review when we're ready to cut a release.

@factory-nizar factory-nizar marked this pull request as ready for review April 28, 2026 19:42
@factory-nizar factory-nizar merged commit 8ea31f3 into main Apr 28, 2026
1 check 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