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

Update pre-commit #152

Merged

sean-m-sullivan merged 1 commit into devel from create-pull-request/update-pre-commit

Jun 18, 2024

Contributor

github-actions bot commented May 1, 2024

Update pre-commit

Updated pre-commit
Auto-generated by [create-pull-request][1]
[1]: https://github.com/peter-evans/create-pull-request

github-actions bot added automated pr pre-commit labels

github-actions bot force-pushed the create-pull-request/update-pre-commit branch from 26e9dd3 to 7881cb1 Compare

May 16, 2024 05:14


          Update pre-commit

8fb0a1f

github-actions bot force-pushed the create-pull-request/update-pre-commit branch from 7881cb1 to 8fb0a1f Compare

June 5, 2024 05:15

sean-m-sullivan merged commit 2e31bf5 into devel

djdanielsson deleted the create-pull-request/update-pre-commit branch

June 18, 2024 15:31

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

Labels

automated pr pre-commit