Skip to content

Fit for new arena_evaluation#58

Merged
voshch merged 0 commit into
voshch:jazzyfrom
NelsonHecker:jazzy
Jun 23, 2026
Merged

Fit for new arena_evaluation#58
voshch merged 0 commit into
voshch:jazzyfrom
NelsonHecker:jazzy

Conversation

@NelsonHecker

Copy link
Copy Markdown
Contributor

No description provided.

voshch added a commit that referenced this pull request Jun 23, 2026
voshch added a commit that referenced this pull request Jun 23, 2026
@voshch voshch merged commit 071ec88 into voshch:jazzy Jun 23, 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.

2 participants