Skip to content

Small fixes#902

Merged
Josef-Haupt merged 4 commits into
mainfrom
small-fixes
May 14, 2026
Merged

Small fixes#902
Josef-Haupt merged 4 commits into
mainfrom
small-fixes

Conversation

@max-mauermann
Copy link
Copy Markdown
Member

Fixes for search and for evaluation output during training

max-mauermann and others added 2 commits May 8, 2026 15:35
Co-authored-by: Copilot <copilot@github.com>
@max-mauermann max-mauermann requested a review from Josef-Haupt May 8, 2026 14:39
Copy link
Copy Markdown
Member

@Josef-Haupt Josef-Haupt left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@Josef-Haupt Josef-Haupt merged commit b8772aa into main May 14, 2026
7 checks passed
@Josef-Haupt Josef-Haupt deleted the small-fixes branch May 14, 2026 16:41
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