Fix clippy errors
All threads resolved!
All threads resolved!
Fixed clippy errors not caught before merging !204 (merged). Maybe we should enforce a Clippy check for all types of merge requests.
Edited by Benjamin Gallois
Merge request reports
Activity
Filter activity
requested review from @HugoTrentesaux
assigned to @bgallois
mentioned in merge request !197 (merged)
mentioned in merge request !207 (merged)
- Resolved by Cédric Moreau
Thanks. You can fix the CI too if you want on this MR.
mentioned in merge request !208 (merged)
Please register or sign in to reply