Skip to content

Conversation

@daniel-levin
Copy link
Contributor

@daniel-levin daniel-levin commented Aug 14, 2025

This PR is a mechanical application of some Clippy fixes and some new warnings in rustc. I also upgraded the deprecated GitHub action so that PRs will run the CI.

I'm working on unrelated fixes to bugs in this crate. This PR will make those changes smaller.

@daniel-levin daniel-levin changed the title Clippy fixes Clippy and GitHub CI fixes Aug 14, 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.

1 participant