Turn on `clippy` in CI
Fixes #477.
I'm conflicted about having this without also having pre-commit hooks, to avoid only finding out about clippy failures during CI, but I think those two together might be overkill at this stage of the project. So, I think that we should instead have only have commit hooks that the developer may selectively ignore locally rather than make continual exceptions for in CI.
How do pre-commit hooks work? I would like to use those, especially for cargo fmt.
https://pre-commit.com/
https://pre-commit.com/
I'll look into them more, but that seems to be Python-specific pre-commit hooks.
Can pre-commit hooks be pushed to the repo and by default have everyone use them?
I'll look into them more, but that seems to be Python-specific pre-commit hooks.
Yep, this is just to demonstrate the concept. I'm sure an equivalent for our purposes can be found.
Can pre-commit hooks be pushed to the repo and by default have everyone use them?
That's been my experience in the past, yes