Fix bug in list insertion: #638
Job | Run time |
---|---|
8m 11s | |
15m 34s | |
13m 33s | |
3m 14s | |
7m 58s | |
4m 38s | |
7m 49s | |
16m 54s | |
12m 24s | |
15m 16s | |
15m 7s | |
2h 0m 38s |
Job | Run time |
---|---|
8m 11s | |
15m 34s | |
13m 33s | |
3m 14s | |
7m 58s | |
4m 38s | |
7m 49s | |
16m 54s | |
12m 24s | |
15m 16s | |
15m 7s | |
2h 0m 38s |