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

Tooling: add ruff to git hooks #211

Merged
merged 5 commits into from
Mar 2, 2023
Merged

Tooling: add ruff to git hooks #211

merged 5 commits into from
Mar 2, 2023

Conversation

Guts
Copy link
Collaborator

@Guts Guts commented Mar 2, 2023

No description provided.

@github-actions github-actions bot added documentation Improvements or additions to documentation jobs Scenarios and jobs quality Tests, project resiliency, etc. labels Mar 2, 2023
@Guts Guts force-pushed the tooling/add-ruff-git-hook branch from 5b60fc7 to c13c3f7 Compare March 2, 2023 20:12
@github-actions github-actions bot removed the quality Tests, project resiliency, etc. label Mar 2, 2023
@Guts Guts self-assigned this Mar 2, 2023
@Guts Guts added quality Tests, project resiliency, etc. tooling Development tooling and removed documentation Improvements or additions to documentation jobs Scenarios and jobs labels Mar 2, 2023
@Guts Guts merged commit ca8934e into main Mar 2, 2023
@Guts Guts deleted the tooling/add-ruff-git-hook branch March 2, 2023 20:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
quality Tests, project resiliency, etc. tooling Development tooling
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant