PR #4683 Rename `SolveState` to `ForkState`

Rename `SolveState` to `ForkState` #4683

charliermarsh merged 1 commit into main from konsti/fork-state

Remove `SolveState` to `ForkState`

1ebd2401

konstin added internal

konstin requested a review from

BurntSushi 1 year ago

konstin requested a review from

charliermarsh 1 year ago

charliermarsh approved these changes on 2024-07-01

charliermarsh merged 0ee4a2cc into main 1 year ago

charliermarsh deleted the konsti/fork-state branch 1 year ago

BurntSushi commented on 2024-07-08

konstin changed the title ~~Remove `SolveState` to `ForkState`~~ Rename `SolveState` to `ForkState` 1 year ago

Reviewers

charliermarsh

BurntSushi

Assignees

No one assigned

Labels

internal

Milestone

No milestone