Skip to content

chore(release): 0.0.10 - #61

Merged
nichinichisou0609 merged 1 commit into
mainfrom
chore/release-0.0.10
Oct 14, 2026
Merged

nichinichisou0609 merged 1 commit into
mainfrom
chore/release-0.0.10

Conversation

@nichinichisou0609

Copy link
Copy Markdown
Contributor

Version bumps and changelog for 0.0.10.

Co-Authored-By: Claude noreply@anthropic.com

Version bumps for the 0.0.10 release: the certified maximum search bounds
each order's payoff, and the recommend module grows its memory in
proportion to its size.

Co-Authored-By: Claude <noreply@anthropic.com>
@nichinichisou0609
nichinichisou0609 merged commit ef87081 into main Oct 14, 2026
11 checks passed
@nichinichisou0609
nichinichisou0609 deleted the chore/release-0.0.10 branch October 19, 2026 07:06
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