Skip to content
This repository has been archived by the owner on Dec 17, 2024. It is now read-only.

Address all warnings/errors from clippy #27

Merged
merged 1 commit into from
Jan 10, 2024
Merged

Address all warnings/errors from clippy #27

merged 1 commit into from
Jan 10, 2024

Conversation

tuommaki
Copy link
Contributor

No description provided.

@tuommaki tuommaki self-assigned this Jan 10, 2024
@tuommaki
Copy link
Contributor Author

YOLO; CI green, finally 😌

@tuommaki tuommaki merged commit 77fd479 into proto Jan 10, 2024
4 checks passed
@tuommaki tuommaki deleted the fix-clippy branch January 10, 2024 14:58
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant