Skip to content

Conversation

@RincewindsHat
Copy link
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
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.

3 participants