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

github: run clippy in workflow #188

Closed
wants to merge 1 commit into from
Closed

Conversation

Alextopher
Copy link
Contributor

Clippy would have caught #186

@achanda
Copy link
Owner

achanda commented Apr 30, 2024

Thanks, this is a good idea. Noticed that the action repo is archived, so I also moved off that in #189

@achanda
Copy link
Owner

achanda commented May 1, 2024

Closing in favour of #189

@achanda achanda closed this May 1, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants