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

add workspace lints #228

Merged
merged 2 commits into from
Jan 6, 2025
Merged

add workspace lints #228

merged 2 commits into from
Jan 6, 2025

Conversation

xosxos
Copy link
Contributor

@xosxos xosxos commented Jan 6, 2025

Hey, nice work. There's a lot of potential, and the idea of custom channels with custom run commands is very appealing.

I was looking at the source, but clippy pedantic lints threw a lot of warnings and I noticed the project did not have a linting profile. I threw together a profile here, but it does leave a fair amount of warnings in. Maybe some variation of this, or another linting profile could be considered to guide future contributors on style decisions. Cheers

@alexpasmantier
Copy link
Owner

Hi, thanks for the kind words 🙏🏻
This looks nice, just removed a couple of lints I feel better leaving on.

Thanks!

@alexpasmantier alexpasmantier merged commit da2396e into alexpasmantier:main Jan 6, 2025
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