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.

Sign up for GitHub

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

AccSync sync_idx fix #112

Merged

haraldng merged 1 commit into haraldng:master from kevin-harrison:sync-test

Jul 4, 2023

Contributor

kevin-harrison commented Jul 4, 2023

Please make sure these boxes are checked, before submitting a new PR.

You ran the local CI checker with ./check.sh with no errors
You reference which issue is being closed in the PR text (if applicable)
You updated the OmniPaxos book (if applicable)

Other Changes

Bug in how we calculated followers_valid_entries when the follower had less entries than the max_accepted_idx from the promises.


test

4483eea

haraldng approved these changes

View reviewed changes

haraldng merged commit 443b607 into haraldng:master

5 checks passed

kevin-harrison deleted the sync-test branch

July 4, 2023 13:36

haraldng mentioned this pull request

Version 0.2.1 #113

Merged

3 tasks

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment