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

Frontend & CLI: run clippy on the codebase #407

Closed
W95Psp opened this issue Jan 2, 2024 · 2 comments · Fixed by #956
Closed

Frontend & CLI: run clippy on the codebase #407

W95Psp opened this issue Jan 2, 2024 · 2 comments · Fixed by #956
Labels
cli Related to command line frontend Issue in the Rust to JSON translation good first issue Good for newcomers help wanted Extra attention is needed

Comments

@W95Psp
Copy link
Collaborator

W95Psp commented Jan 2, 2024 •
edited by franziskuskiefer
Loading

Run clippy and fix all issues or disable warnings when perferred.
@W95Psp W95Psp added frontend Issue in the Rust to JSON translation cli Related to command line labels Jan 2, 2024
@franziskuskiefer franziskuskiefer added help wanted Extra attention is needed good first issue Good for newcomers labels Jan 3, 2024
@github-actions GitHub Actions
Copy link

github-actions bot commented Oct 3, 2024

This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.

@github-actions github-actions bot added the stale label Oct 3, 2024
@W95Psp
Copy link
Collaborator Author

W95Psp commented Oct 3, 2024

Still relevant

@W95Psp W95Psp mentioned this issue Oct 3, 2024
Merged
@W95Psp W95Psp removed the stale label Oct 14, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
cli Related to command line frontend Issue in the Rust to JSON translation good first issue Good for newcomers help wanted Extra attention is needed
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Run cargo clippy --fix cryspen/hax
2 participants
@W95Psp @franziskuskiefer