Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Remove unused dependencies #5812

Merged
merged 28 commits into from
May 27, 2024
Merged

Conversation

ackintosh
Copy link
Member

@ackintosh ackintosh commented May 19, 2024

Proposed Changes

Removed the unused dependencies identified by cargo-machete.

Additional Info

We are running cargo-udeps in CI, but it seems imperfect as some unused dependencies were found by cargo-machete. Should we add cargo-machete to the CI job?

@ackintosh ackintosh added the work-in-progress PR is a work-in-progress label May 19, 2024
@ackintosh ackintosh marked this pull request as ready for review May 21, 2024 13:10
@ackintosh ackintosh added ready-for-review The code is ready for review and removed work-in-progress PR is a work-in-progress labels May 21, 2024
@michaelsproul michaelsproul added ready-for-merge This PR is ready to merge. and removed ready-for-review The code is ready for review labels May 27, 2024
@michaelsproul
Copy link
Member

I don't mind whether we add machete to CI. We already have quite good coverage for unused depdendencies via cargo-udeps, which I think is why machete didn't find any totally unused crates that could be removed from Cargo.lock.

@michaelsproul
Copy link
Member

@Mergifyio queue

Copy link

mergify bot commented May 27, 2024

queue

✅ The pull request has been merged automatically

The pull request has been merged automatically at 6f05863

mergify bot added a commit that referenced this pull request May 27, 2024
mergify bot added a commit that referenced this pull request May 27, 2024
@mergify mergify bot merged commit 6f05863 into sigp:unstable May 27, 2024
28 checks passed
@ackintosh ackintosh deleted the remove-unused-deps branch May 27, 2024 13:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ready-for-merge This PR is ready to merge.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants