-
Notifications
You must be signed in to change notification settings - Fork 558
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
Raft: Move to new Options API #3587
base: main
Are you sure you want to change the base?
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
looks like all the changes are correct (I don't know the game, just the options api)
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Could be a little cleaner, but nothing here is stopping me from approving
What is this fixing or adding?
This moves Raft off of the old deprecated Options API and on to the new Options API to address #3284
How was this tested?
Manually. Made sure logical values were still being respected via debugging during generation. Ran with multiple different options.
If this makes graphical changes, please attach screenshots.
N/A