Skip to content

chore(main): release 0.12.10 - #246

Merged
randomm merged 1 commit into
mainfrom
release-please--branches--main--components--pi-ensemble
Jun 25, 2026
Merged

chore(main): release 0.12.10#246
randomm merged 1 commit into
mainfrom
release-please--branches--main--components--pi-ensemble

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

0.12.10 (2026-06-25)

Bug Fixes

  • work-driver: execute merge step + multi-issue /work with per-issue verdict routing (#245) (e27a8d4)

This PR was generated with Release Please. See documentation.

@randomm
randomm merged commit 4766e57 into main Jun 25, 2026
1 check passed
@randomm
randomm deleted the release-please--branches--main--components--pi-ensemble branch June 25, 2026 09:38
@github-actions

Copy link
Copy Markdown
Contributor Author

🤖 Created releases:

🌻

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant