fix accidentally-deprecated sort method #394
| Job | Run time |
|---|---|
| 4m 54s | |
| 4m 54s | |
| 4m 52s | |
| 4m 50s | |
| 4m 54s | |
| 4m 51s | |
| 4m 47s | |
| 4m 46s | |
| 4m 42s | |
| 4m 59s | |
| 4m 43s | |
| 4m 45s | |
| 57m 57s |
| Job | Run time |
|---|---|
| 4m 54s | |
| 4m 54s | |
| 4m 52s | |
| 4m 50s | |
| 4m 54s | |
| 4m 51s | |
| 4m 47s | |
| 4m 46s | |
| 4m 42s | |
| 4m 59s | |
| 4m 43s | |
| 4m 45s | |
| 57m 57s |