WIP: async api #75

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

Jump to bottom

Closed

JonathanArns wants to merge 1 commit into haraldng:master from JonathanArns:async-api

Contributor

JonathanArns commented Apr 26, 2023

This is just a WIP PR for now, to make the direction of the async API a bit more visible.

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)


          WIP: append_async

6c55f02

JonathanArns closed this

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

Labels

None yet