Skip to content

Renamew getState for PartialResult -> GetStatus#83

Merged
RincewindsHat merged 3 commits into
masterfrom
add_partial_get_state
Jun 19, 2023
Merged

Renamew getState for PartialResult -> GetStatus#83
RincewindsHat merged 3 commits into
masterfrom
add_partial_get_state

Conversation

@RincewindsHat
Copy link
Copy Markdown
Member

Allow reading the State again, once set :-)

@RincewindsHat RincewindsHat changed the title Export GetState for PartialResult Renamew getState for PartialResult -> GetStatus Jun 17, 2023
Copy link
Copy Markdown
Member

@martialblog martialblog left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍 Squash before merging please

@RincewindsHat RincewindsHat merged commit 44595b8 into master Jun 19, 2023
@RincewindsHat RincewindsHat deleted the add_partial_get_state branch June 19, 2023 08:15
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