Convert `TraverseState::new_goals` and `TraverseState::removed_goals` into `std::vector` and push/pop instead of insert/erase. #1856

Merged

copybara-service[bot] merged 1 commit intomainfrom cl/707443325

Dec 19, 2024

+12-16

Commits on Dec 19, 2024

Convert TraverseState::new_goals and TraverseState::removed_goals into std::vector and push/pop instead of insert/erase.

h-joo
authored and
copybara-github
committed