Skip to content

Conversation

emilk
Copy link
Owner

@emilk emilk commented Aug 24, 2025

No description provided.

Copy link

Preview available at https://egui-pr-preview.github.io/pr/7474-emilkadd-more-clippy-lints
Note that it might take a couple seconds for the update to show up after the preview_build workflow has completed.

@emilk emilk merged commit 0fad7d8 into main Aug 24, 2025
47 checks passed
@emilk emilk deleted the emilk/add-more-clippy-lints branch August 24, 2025 14:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant