Skip to content

fix: address Clippy lints#72

Merged
mystor merged 1 commit intomystor:mainfrom
arielb1:fix-clippy
Apr 30, 2025
Merged

fix: address Clippy lints#72
mystor merged 1 commit intomystor:mainfrom
arielb1:fix-clippy

Conversation

@arielb1
Copy link

@arielb1 arielb1 commented Apr 30, 2025

This should make CI green.

@mystor could you cut 0.13.2 on top of this for #71 ?

@mystor mystor merged commit dd069d5 into mystor:main Apr 30, 2025
9 checks passed
@mystor
Copy link
Owner

mystor commented Apr 30, 2025

Done

@arielb1
Copy link
Author

arielb1 commented Apr 30, 2025 via email

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