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.

Sign up for GitHub

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

Jump to bottom

chore: first round of cleaning #204

Merged
merged 5 commits into from
Mar 25, 2024
Merged

chore: first round of cleaning #204

merged 5 commits into from
Mar 25, 2024

Conversation

lrazovic
Copy link
Member

@lrazovic lrazovic commented Mar 22, 2024 •
edited
Loading

What?

Remove unused dependencies.

How?

The MVPs here are cargo-machete and cargo-udeps

@lrazovic lrazovic self-assigned this Mar 22, 2024
@lrazovic lrazovic marked this pull request as ready for review March 22, 2024 14:32
@lrazovic lrazovic requested review from vstam1 and JuaniRios March 22, 2024 14:32
JuaniRios
JuaniRios approved these changes Mar 22, 2024
View reviewed changes
Copy link
Contributor

@JuaniRios JuaniRios left a comment

Choose a reason for hiding this comment

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

I trust the tool more than my eyes

@JuaniRios JuaniRios merged commit 5dd4b6e into main Mar 25, 2024
@JuaniRios JuaniRios deleted the chore/easter-cleaning branch March 26, 2024 08:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@vstam1 vstam1 vstam1 approved these changes

@JuaniRios JuaniRios JuaniRios approved these changes

Assignees

@lrazovic lrazovic

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@lrazovic @vstam1 @JuaniRios