Skip to content
This repository was archived by the owner on Jan 7, 2026. It is now read-only.

fix: handle rounds with zero retrieval tasks#382

Merged
bajtos merged 1 commit intomainfrom
fix-zero-tasks
Oct 17, 2024
Merged

fix: handle rounds with zero retrieval tasks#382
bajtos merged 1 commit intomainfrom
fix-zero-tasks

Conversation

@bajtos
Copy link
Copy Markdown
Member

@bajtos bajtos commented Oct 17, 2024

No description provided.

Signed-off-by: Miroslav Bajtoš <oss@bajtos.net>
@bajtos bajtos requested a review from juliangruber October 17, 2024 16:28
@bajtos bajtos merged commit b819209 into main Oct 17, 2024
@bajtos bajtos deleted the fix-zero-tasks branch October 17, 2024 16:30
@bajtos
Copy link
Copy Markdown
Member Author

bajtos commented Oct 17, 2024

@juliangruber hindsight please 🙏🏻

Copy link
Copy Markdown
Member

@juliangruber juliangruber left a comment

Choose a reason for hiding this comment

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

Great! That should fix #381 too

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

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants