Skip to content

Commit

Permalink
Merge pull request #3518 from dunxen/2025-01-allow-unnecessary-map-or
Browse files Browse the repository at this point in the history
ci: silence unnecessary_map_or lint as solution requires MSRV >= 1.70
  • Loading branch information
tnull authored Jan 10, 2025
2 parents 0282cfb + ec579f0 commit cb5bf96
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion ci/check-lint.sh
Original file line number Diff line number Diff line change
Expand Up @@ -93,4 +93,5 @@ RUSTFLAGS='-D warnings' cargo clippy -- \
-A clippy::unnecessary_to_owned \
-A clippy::unnecessary_unwrap \
-A clippy::unused_unit \
-A clippy::useless_conversion
-A clippy::useless_conversion \
-A clippy::unnecessary_map_or `# to be removed once we hit MSRV 1.70`

0 comments on commit cb5bf96

Please sign in to comment.