Skip to content

chore(release): 0.0.11 - #64

Merged
nichinichisou0609 merged 2 commits into
mainfrom
chore/release-0.0.11
Oct 15, 2026
Merged

nichinichisou0609 merged 2 commits into
mainfrom
chore/release-0.0.11

Conversation

@nichinichisou0609

Copy link
Copy Markdown
Contributor

Version bumps and changelog for 0.0.11: under a LUCK lottery every performance order earns its reward at its expected score, and teams with equal rewards rank by their expected score.

nichinichisou0609 and others added 2 commits October 15, 2026 23:57
Version bumps for the 0.0.11 release: under a LUCK lottery every
performance order earns its reward at its expected score, and teams
with equal rewards rank by their expected score.

Co-Authored-By: Claude <noreply@anthropic.com>
The release is tagged on 2026-10-16.

Co-Authored-By: Claude <noreply@anthropic.com>
@nichinichisou0609
nichinichisou0609 merged commit f916867 into main Oct 15, 2026
11 checks passed
@nichinichisou0609
nichinichisou0609 deleted the chore/release-0.0.11 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