Merge pull request #532 from MatthewFluet/mark-compact-bug #128
Job | Run time |
---|---|
20m 11s | |
25m 20s | |
20m 45s | |
28m 58s | |
30m 33s | |
52m 41s | |
1h 0m 31s | |
5m 27s | |
52m 10s | |
4h 56m 36s |
Job | Run time |
---|---|
20m 11s | |
25m 20s | |
20m 45s | |
28m 58s | |
30m 33s | |
52m 41s | |
1h 0m 31s | |
5m 27s | |
52m 10s | |
4h 56m 36s |