Convert TraverseState::new_goals and TraverseState::removed_goals…
#2829
| Job | Run time |
|---|---|
| 2m 9s | |
| 1m 19s | |
| 1m 50s | |
| 1m 24s | |
| 1m 48s | |
| 1m 27s | |
| 6m 6s | |
| 6m 2s | |
| 6m 20s | |
| 5s | |
| 28m 30s |