Skip to content

Conversation

lucacome
Copy link
Owner

No description provided.

@github-actions github-actions bot added the chore label Sep 10, 2024
@lucacome lucacome merged commit d850242 into main Sep 10, 2024
13 of 14 checks passed
@lucacome lucacome deleted the chore/run-pre-commit branch September 10, 2024 17:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant