Bump Clippy to 1.94 and fix clippy::manual_rotate (#544)
#290
| Job | Run time |
|---|---|
| 28s | |
| 22s | |
| 20s | |
| 19s | |
| 19s | |
| 18s | |
| 20s | |
| 2m 26s |
clippy::manual_rotate (#544)
#290
| Job | Run time |
|---|---|
| 28s | |
| 22s | |
| 20s | |
| 19s | |
| 19s | |
| 18s | |
| 20s | |
| 2m 26s |