Skip to content
CI

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check (ubuntu-20.04, 3.10)
24m 40s
test (ubuntu-20.04, 3.10, shard_1)
6m 6s
check (ubuntu-20.04, 3.11)
20m 57s
test (ubuntu-20.04, 3.10, shard_2)
9m 51s
check (ubuntu-20.04, 3.12)
29m 33s
test (ubuntu-20.04, 3.10, shard_3)
10m 27s
test (ubuntu-20.04, 3.11, shard_1)
4m 51s
test (ubuntu-20.04, 3.11, shard_2)
9m 2s
test (ubuntu-20.04, 3.11, shard_3)
9m 50s
test (ubuntu-20.04, 3.12, shard_1)
5m 33s
test (ubuntu-20.04, 3.12, shard_2)
9m 52s
test (ubuntu-20.04, 3.12, shard_3)
11m 14s
test (macos-latest, 3.12, shard_1)
2m 35s
test (macos-latest, 3.12, shard_2)
4m 23s
test (macos-latest, 3.12, shard_3)
4m 44s
test (windows-latest, 3.12, shard_1)
10m 9s
test (windows-latest, 3.12, shard_2)
18m 25s
test (windows-latest, 3.12, shard_3)
23m 0s
3h 35m 12s