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

Make workspace cleanup retry on failure #74

Merged
merged 2 commits into from
Oct 14, 2024

Conversation

carbolymer
Copy link
Contributor

@carbolymer carbolymer commented Oct 11, 2024

Make workspace cleanup retry on failure. This piece of code is already tested in cardano-testnet for a few months: https://github.com/IntersectMBO/cardano-node/blob/master/cardano-testnet/src/Testnet/Property/Util.hs#L70

Introduces dependency on a small library retry.

@carbolymer carbolymer force-pushed the mgalazyn/fix/fix-workspace-cleanup branch from 11fbe7b to a8586de Compare October 11, 2024 10:30
@carbolymer carbolymer force-pushed the mgalazyn/fix/fix-workspace-cleanup branch from a8586de to d9db931 Compare October 11, 2024 10:32
@carbolymer carbolymer force-pushed the mgalazyn/fix/fix-workspace-cleanup branch from edeb35a to 4eeec61 Compare October 14, 2024 07:23
@carbolymer carbolymer merged commit 40bd9e5 into main Oct 14, 2024
16 checks 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