fix(clippy): use sort_by_key instead of sort_by for reverse sorting #907
| Job | Run time |
|---|---|
| 16s | |
| 8s | |
| 7s | |
| 20s | |
| 3m 21s | |
| 2m 54s | |
| 2m 21s | |
| 5m 51s | |
| 4m 40s | |
| 3m 37s | |
| 3m 24s | |
| 4m 46s | |
| 3m 7s | |
| 2m 28s | |
| 5s | |
| 37m 25s |
| Job | Run time |
|---|---|
| 16s | |
| 8s | |
| 7s | |
| 20s | |
| 3m 21s | |
| 2m 54s | |
| 2m 21s | |
| 5m 51s | |
| 4m 40s | |
| 3m 37s | |
| 3m 24s | |
| 4m 46s | |
| 3m 7s | |
| 2m 28s | |
| 5s | |
| 37m 25s |