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

style: restrict to one unsafe operation per block #24

Merged
merged 5 commits into from
Dec 20, 2023

Conversation

wmmc88
Copy link
Collaborator

@wmmc88 wmmc88 commented Oct 20, 2023

Add additional clippy lints that help enforce having safety justifications for each unsafe operation

@wmmc88
Copy link
Collaborator Author

wmmc88 commented Oct 20, 2023

pending merge of #19

@wmmc88 wmmc88 force-pushed the additional-clippy-lints branch 4 times, most recently from 522b413 to 75e8790 Compare October 20, 2023 23:11
@wmmc88 wmmc88 changed the title Additional clippy lints style: restrict to one unsafe operation per block Oct 20, 2023
@wmmc88 wmmc88 marked this pull request as ready for review October 20, 2023 23:17
@wmmc88 wmmc88 force-pushed the additional-clippy-lints branch from 75e8790 to d41c1ff Compare October 20, 2023 23:54
@wmmc88 wmmc88 requested a review from a team October 23, 2023 16:23
rajeshbg
rajeshbg previously approved these changes Nov 3, 2023
@wmmc88 wmmc88 requested a review from a team November 3, 2023 21:56
@wmmc88 wmmc88 enabled auto-merge (squash) November 18, 2023 01:37
@wmmc88 wmmc88 requested a review from rajeshbg November 18, 2023 01:48
@wmmc88 wmmc88 merged commit 15a3c50 into microsoft:main Dec 20, 2023
30 checks passed
@wmmc88 wmmc88 deleted the additional-clippy-lints branch December 20, 2023 20:27
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.

3 participants