Convert TraverseState::new_goals
and TraverseState::removed_goals
into std::vector
and push/pop instead of insert/erase.
#2823
Job | Run time |
---|---|
1m 19s | |
1m 16s | |
1m 24s | |
1m 27s | |
1m 33s | |
1m 18s | |
5m 49s | |
5m 56s | |
6m 50s | |
0s | |
26m 52s |