Skip to content
CI

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

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. #2393

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check (ubuntu-20.04, 3.10)
23m 32s
check (ubuntu-20.04, 3.11)
20m 59s
test (ubuntu-20.04, 3.10, shard_1)
5m 17s
check (ubuntu-20.04, 3.12)
31m 13s
test (ubuntu-20.04, 3.10, shard_2)
9m 34s
test (ubuntu-20.04, 3.10, shard_3)
10m 43s
test (ubuntu-20.04, 3.11, shard_1)
4m 59s
test (ubuntu-20.04, 3.11, shard_2)
9m 5s
test (ubuntu-20.04, 3.11, shard_3)
10m 0s
test (ubuntu-20.04, 3.12, shard_1)
5m 26s
test (ubuntu-20.04, 3.12, shard_2)
10m 37s
test (ubuntu-20.04, 3.12, shard_3)
11m 26s
test (macos-latest, 3.12, shard_1)
2m 37s
test (macos-latest, 3.12, shard_2)
5m 25s
test (macos-latest, 3.12, shard_3)
4m 58s
test (windows-latest, 3.12, shard_1)
9m 44s
test (windows-latest, 3.12, shard_2)
18m 34s
test (windows-latest, 3.12, shard_3)
22m 18s
3h 36m 27s