clippy: set needless_range_loop = "allow" (#1417)
#1122
| Job | Run time |
|---|---|
| 19s | |
| 15s | |
| 15s | |
| 18s | |
| 28s | |
| 17s | |
| 29s | |
| 2m 21s |
needless_range_loop = "allow" (#1417)
#1122
| Job | Run time |
|---|---|
| 19s | |
| 15s | |
| 15s | |
| 18s | |
| 28s | |
| 17s | |
| 29s | |
| 2m 21s |