Skip to content

Race until one of the tasks succeeds#3603

Merged
serras merged 4 commits intomainfrom
serras/race-if
Jul 23, 2025
Merged

Race until one of the tasks succeeds#3603
serras merged 4 commits intomainfrom
serras/race-if

Conversation

@serras
Copy link
Copy Markdown
Member

@serras serras commented Apr 3, 2025

No description provided.

@serras serras requested a review from nomisRev April 3, 2025 12:25
@github-actions
Copy link
Copy Markdown
Contributor

github-actions Bot commented Apr 3, 2025

@nomisRev
Copy link
Copy Markdown
Member

nomisRev commented Apr 4, 2025

Hey @serras,
I had some ongoing work for a more generalised racing DSL. This is close-ish to being wrapped up, but I got hold-up during my work on this. I'd prefer to see a unification of all racing needs in a singular DSL is possible.

#3411

@serras
Copy link
Copy Markdown
Member Author

serras commented Apr 11, 2025

I would rather prefer to have a DSL for the whole racing, if possible. This was just low-hanging fruit we could add to the library. I'll keep it open in case we want to reconsider in the future.

@nomisRev
Copy link
Copy Markdown
Member

I should have some time soon to work on those DSLs to include in the next minor release with the ktor module. I also need to make some time for that soon.

@serras
Copy link
Copy Markdown
Member Author

serras commented May 21, 2025

@nomisRev what do you think about merging this, since it's a very small change requested by our users?

@serras serras requested a review from kyay10 July 20, 2025 20:06
Copy link
Copy Markdown
Collaborator

@kyay10 kyay10 left a comment

Choose a reason for hiding this comment

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

Looks reasonable enough! A more generalised version would likely be nicer, but I can see this coming in handy for now!

@serras serras merged commit 31c517f into main Jul 23, 2025
12 checks passed
@serras serras deleted the serras/race-if branch July 23, 2025 07:12
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.

4 participants