Skip to content
CI

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

Sign in to view logs

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

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

Annotations

1 error

check (ubuntu-20.04, 3.12)

check (ubuntu-20.04, 3.12)
failed Dec 18, 2024 in 2m 6s