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

Fix clippy warnings and docker CI #54

Closed
wants to merge 2 commits into from
Closed

Conversation

jayvdb
Copy link
Contributor

@jayvdb jayvdb commented Sep 11, 2024

No description provided.

@jayvdb jayvdb changed the title Fix clippy warnings Fix clippy warnings and docker CI Sep 11, 2024
@jayvdb
Copy link
Contributor Author

jayvdb commented Sep 25, 2024

ping @shenek

@shenek shenek self-assigned this Sep 28, 2024
@shenek shenek self-requested a review September 28, 2024 18:42
@shenek
Copy link
Owner

shenek commented Sep 28, 2024

Sorry for the delay. I was quite busy lately.

The changes seem legit. Thanks 👍

@shenek
Copy link
Owner

shenek commented Sep 28, 2024

I signed the commits and merge it. Thanks.

@shenek shenek closed this Sep 28, 2024
@jayvdb jayvdb deleted the lint branch September 28, 2024 19:32
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