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

Add pre-commit hooks #9

Merged

jmmv merged 1 commit into master from pre-commit

Nov 3, 2023

Owner

jmmv commented Nov 3, 2023

As part of this, add a new GitHub Actions lint workflow to run the pre-commit as well on every PR and merge.


          Add pre-commit hooks

71c18db

As part of this, add a new GitHub Actions lint workflow to run the
pre-commit as well on every PR and merge.

jmmv merged commit ab812f4 into master

18 checks passed

jmmv deleted the pre-commit branch

November 3, 2023 00:48

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

Labels

None yet