use small_vector in more places #751
Job | Run time |
---|---|
5m 51s | |
5m 42s | |
4m 23s | |
5m 33s | |
6m 57s | |
6m 8s | |
4m 56s | |
4m 6s | |
5m 31s | |
5m 27s | |
5m 29s | |
5m 56s | |
1h 5m 59s |
Job | Run time |
---|---|
5m 51s | |
5m 42s | |
4m 23s | |
5m 33s | |
6m 57s | |
6m 8s | |
4m 56s | |
4m 6s | |
5m 31s | |
5m 27s | |
5m 29s | |
5m 56s | |
1h 5m 59s |