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

ci: Appease Clippy #761

Merged
merged 1 commit into from
Jan 10, 2023
Merged

ci: Appease Clippy #761

merged 1 commit into from
Jan 10, 2023

Conversation

Xanewok
Copy link
Contributor

@Xanewok Xanewok commented Jan 9, 2023

This should make the CI green again, as the lints have been introduced in a new stable release, outside of the changes made in this repository.

@Xanewok
ci: Appease Clippy
eaa1230 
This should make the CI green again, as the lints have been introduced
in a new stable release, outside of the changes made in this repository.
lexnv
lexnv approved these changes Jan 9, 2023
View reviewed changes
Copy link
Collaborator

@lexnv lexnv left a comment

Choose a reason for hiding this comment

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

LGTM! Thanks for having a look at it!
I think should also be handled by #760, which ever gets merged first.

@jsdw jsdw merged commit ea5daa4 into master Jan 10, 2023
@jsdw jsdw deleted the fix-clippy branch January 10, 2023 10:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@niklasad1 niklasad1 niklasad1 approved these changes

@lexnv lexnv lexnv approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@Xanewok @niklasad1 @lexnv @jsdw