Skip to content

🚀 Release: Merge dev into main#847

Draft
github-actions[bot] wants to merge 4 commits into
mainfrom
dev
Draft

🚀 Release: Merge dev into main#847
github-actions[bot] wants to merge 4 commits into
mainfrom
dev

Conversation

@github-actions
Copy link
Copy Markdown

@github-actions github-actions Bot commented May 14, 2026

📦 Automated Release PR

This PR merges the latest changes from `dev` into `main`.

Last updated: $(date -u '+%Y-%m-%d %H:%M:%S UTC')

🔍 What's Changed

Review the commits below to see what will be included in this release.

✅ Checklist before merging

  • All tests pass
  • CHANGELOG.md is updated
  • Version number is bumped if needed
  • All features are documented
  • No breaking changes (or documented in release notes)

🚦 Merge Instructions

  1. Review all changes carefully
  2. Ensure CI/CD passes
  3. Update the title with the actual version if releasing
  4. Convert from draft to ready when prepared
  5. Merge using merge commit (not squash)

This PR was automatically updated by the Auto PR workflow

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.

0 participants