Skip to content
This repository was archived by the owner on Jan 22, 2025. It is now read-only.

Remove redundant clone #31690

Merged
merged 1 commit into from
May 17, 2023
Merged

Conversation

CriesofCarrots
Copy link
Contributor

Problem

As of #31381, CI doesn't catch redundant clones, but running clippy locally does.

Summary of Changes

Remove redundant clone that I neglected to remove in #31688 (no backport needed; bundled with #31689)

@CriesofCarrots CriesofCarrots requested a review from t-nelson May 17, 2023 04:36
Copy link
Contributor

@t-nelson t-nelson left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

:shipit:

@CriesofCarrots CriesofCarrots added the automerge Merge this Pull Request automatically once CI passes label May 17, 2023
@mergify mergify bot removed the automerge Merge this Pull Request automatically once CI passes label May 17, 2023
@mergify
Copy link
Contributor

mergify bot commented May 17, 2023

automerge label removed due to a CI failure

@codecov
Copy link

codecov bot commented May 17, 2023

Codecov Report

Merging #31690 (5c2ac80) into master (2cdb43f) will decrease coverage by 0.1%.
The diff coverage is 100.0%.

@@            Coverage Diff            @@
##           master   #31690     +/-   ##
=========================================
- Coverage    81.9%    81.8%   -0.1%     
=========================================
  Files         736      736             
  Lines      205963   205962      -1     
=========================================
- Hits       168684   168662     -22     
- Misses      37279    37300     +21     

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants