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 jepsen timeout #137

Merged
merged 1 commit into from
Oct 2, 2024
Merged

fix jepsen timeout #137

merged 1 commit into from
Oct 2, 2024

Conversation

teem0n
Copy link
Contributor

@teem0n teem0n commented Oct 2, 2024

attemp to fix error "set was never read"

@teem0n teem0n force-pushed the fix/jepsen_read_timeout branch from 8175c00 to 4c1b222 Compare October 2, 2024 17:36
@teem0n teem0n merged commit 63cd7e3 into master Oct 2, 2024
52 checks passed
@teem0n teem0n deleted the fix/jepsen_read_timeout branch October 2, 2024 18:45
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