clippy: fix `unnecessary-map-or` lints
Related merge request !345 to merge clippy-20250110
merge request
14 jobs
9 minutes 27 seconds, queued for 4 seconds
System updates will be applied on Mar 14th between 7am and 9am, EST (UTC-05:00). This site will have intermittent downtime during that time.