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

Commits

Commits on Jun 16, 2023

Commits on Jun 17, 2023