New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Clippy: fix unnecessary_map_or lint #621

Merged

asomers merged 1 commit into master from is_some_and

Nov 17, 2024

Merged

Clippy: fix unnecessary_map_or lint #621

Clippy: fix unnecessary_map_or lint

Cirrus CI / MSRV succeeded Nov 17, 2024 in 22s

Task Summary

Task successfully finished!

Details

⚠️ Not enough compute credits to prioritize tasks!

✅ 00:01 clone
✅ 00:01 cargo_lock
✅ 00:01 cargo
✅ 00:09 build
✅ 00:05 doc
✅ 00:01 before_cache
✅ 00:00 Upload 'cargo' cache

View more details on Cirrus CI