Fix a bunch of clippy lints #183
Draft
Cirrus CI / doc
succeeded
Dec 21, 2023 in 2m 6s
Task Summary
Task successfully finished!
Details
ℹ️ Scheduling was delayed due to a concurrency limit on community tasks
✅ 00:00 clone
✅ 02:04 main
Loading