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.

Sign up for GitHub

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

Jump to bottom

Added and run pre-commit hooks #2

Merged

shenoynikhil merged 3 commits into main from pre-commit

Sep 25, 2023

Collaborator

shenoynikhil commented Sep 25, 2023 •

edited

Loading

Changes:

Added pre-commit hooks and ran pre-commit run --all to cleanup the repository
Added workflow for pre-commit checks
No code or functional change

Checklist:

Was this PR discussed in a issue? It is recommended to first discuss a new feature into a GitHub issue before opening a PR.
Add tests to cover the fixed bug(s) or the new introduced feature(s) (if appropriate).
Update the API documentation is a new function is added or an existing one is deleted.

shenoynikhil added 2 commits

September 25, 2023 14:46


          Added .pre-commit config

a305032


          Ran pre-commit run --all

cea7d35

shenoynikhil requested a review from prtos as a code owner

September 25, 2023 15:01


          Added pre-commit ci

7db8240

shenoynikhil merged commit 8d0cbc2 into main

2 of 5 checks passed

shenoynikhil deleted the pre-commit branch

September 25, 2023 15:29

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet