Convert TraverseState::new_goals
and TraverseState::removed_goals
into std::vector
and push/pop instead of insert/erase.
#2391
Triggered via pull request
December 19, 2024 13:44
Status
Success
Total duration
29m 42s
Artifacts
–