Skip to content

retry on failed write in sdsl::int_vector_buffer#422

Merged
karasikov merged 2 commits intomasterfrom
mk/retry_write
Aug 7, 2022
Merged

retry on failed write in sdsl::int_vector_buffer#422
karasikov merged 2 commits intomasterfrom
mk/retry_write

Conversation

@karasikov
Copy link
Member

For more reliable construction on flaky filesystems

@karasikov karasikov merged commit a5925af into master Aug 7, 2022
@karasikov karasikov deleted the mk/retry_write branch August 7, 2022 12:26
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.

1 participant