Skip to content

Conversation

@therealprof
Copy link
Contributor

No description provided.

@therealprof therealprof requested a review from a team as a code owner September 27, 2025 09:29
@therealprof therealprof force-pushed the fix-some-clippy-lints branch 2 times, most recently from 8df400f to db7d4d9 Compare September 27, 2025 10:08
@Emilgardis Emilgardis added this pull request to the merge queue Sep 27, 2025
Merged via the queue into master with commit 7fc2341 Sep 27, 2025
8 checks passed
@therealprof therealprof deleted the fix-some-clippy-lints branch September 27, 2025 23:34
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.

2 participants