Revert 54d1b81d as it broke valgrind run. #1803
Job | Run time |
---|---|
7m 12s | |
8m 46s | |
8m 9s | |
8m 44s | |
8m 15s | |
9m 4s | |
7m 58s | |
11m 50s | |
7m 37s | |
7m 55s | |
9m 19s | |
9m 40s | |
9m 26s | |
9m 26s | |
11m 4s | |
9m 27s | |
9m 48s | |
9m 44s | |
10m 22s | |
10m 27s | |
3h 4m 13s |
Job | Run time |
---|---|
7m 12s | |
8m 46s | |
8m 9s | |
8m 44s | |
8m 15s | |
9m 4s | |
7m 58s | |
11m 50s | |
7m 37s | |
7m 55s | |
9m 19s | |
9m 40s | |
9m 26s | |
9m 26s | |
11m 4s | |
9m 27s | |
9m 48s | |
9m 44s | |
10m 22s | |
10m 27s | |
3h 4m 13s |