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

lint: couple clippies #2378

Merged
merged 1 commit into from
Apr 25, 2023
Merged

lint: couple clippies #2378

merged 1 commit into from
Apr 25, 2023

Conversation

prestwich
Copy link
Collaborator

Lints from main branch CI

@prestwich prestwich self-assigned this Apr 25, 2023
@prestwich prestwich merged commit 63be7d4 into master Apr 25, 2023
@prestwich prestwich deleted the prestwich/clipppppppy branch April 25, 2023 16:08
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