Bump Clippy to 1.94 and fix clippy::manual_rotate (#544)
#448
| Job | Run time |
|---|---|
| 23s | |
| 23s | |
| 19s | |
| 20s | |
| 18s | |
| 29s | |
| 18s | |
| 2m 30s |
clippy::manual_rotate (#544)
#448
| Job | Run time |
|---|---|
| 23s | |
| 23s | |
| 19s | |
| 20s | |
| 18s | |
| 29s | |
| 18s | |
| 2m 30s |