Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix: wait_for_all_recoveries #4496

Merged
merged 1 commit into from
Mar 8, 2024
Merged

Conversation

maan2003
Copy link
Member

@maan2003 maan2003 commented Mar 7, 2024

No description provided.

@maan2003 maan2003 requested a review from a team as a code owner March 7, 2024 20:14
@@ -1491,7 +1491,7 @@ impl Client {
.wait_for(|in_progress| {
!in_progress
Copy link
Member Author

Choose a reason for hiding this comment

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

this is hard, my head hurts

Suggested change
!in_progress
in_progress

@dpc
Copy link
Contributor

dpc commented Mar 7, 2024

There's only so many combinations, we'll get it right eventually.

@dpc dpc enabled auto-merge March 7, 2024 23:55
@dpc dpc added this pull request to the merge queue Mar 8, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Mar 8, 2024
@dpc dpc added this pull request to the merge queue Mar 8, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Mar 8, 2024
Comment on lines +1492 to +1494
in_progress
.iter()
.any(|(_id, progress)| !progress.is_done())
.all(|(_id, progress)| progress.is_done())
Copy link
Contributor

@elsirion elsirion Mar 8, 2024

Choose a reason for hiding this comment

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

This only improves readability, there is no functional change here.

To say it with some math:

$$\neg \exists x: \neg x \Leftrightarrow \forall x: x$$

Copy link
Member Author

Choose a reason for hiding this comment

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

There's only so many combinations, we'll get it right eventually.

lol we are repeating combinations now

Copy link
Contributor

@dpc dpc Mar 8, 2024

Choose a reason for hiding this comment

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

Me and Manmeet playing with !, any and all.

image

Copy link
Contributor

Choose a reason for hiding this comment

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

lmaoooo

@elsirion elsirion added this pull request to the merge queue Mar 8, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Mar 8, 2024
@maan2003 maan2003 added this pull request to the merge queue Mar 8, 2024
Merged via the queue into fedimint:master with commit a90e90d Mar 8, 2024
20 checks passed
@maan2003 maan2003 deleted the push-vxksqlkuollm branch March 8, 2024 08:37
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.

None yet

5 participants