Merge pull request #828 from attermann/weak_allocator #902
Job | Run time |
---|---|
15m 37s | |
15m 22s | |
5m 49s | |
13m 43s | |
14m 26s | |
13m 18s | |
13m 16s | |
13m 27s | |
1h 44m 58s |
Job | Run time |
---|---|
15m 37s | |
15m 22s | |
5m 49s | |
13m 43s | |
14m 26s | |
13m 18s | |
13m 16s | |
13m 27s | |
1h 44m 58s |