Skip to content

Conversation

@f0rki
Copy link

@f0rki f0rki commented Jun 13, 2023

Currently only to identify undocumented unsafety. Even the default clippy deny's produce many warnings/errors.
Nevertheless, ran clippy --fix on the codebase to deal with some of the obvious things.

Some SAFETY: comments are still missing.

Currently only to identify undocumented unsafety. Even the default clippy deny's produce many warnings/errors.
Ran `clippy --fix` on the codebase to remove some of the obvious things.

Signed-off-by: Michael Rodler <[email protected]>
Co-authored-by: f0rki <[email protected]>
@f0rki f0rki marked this pull request as draft June 13, 2023 11:03
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