Skip to content
This repository was archived by the owner on Jan 9, 2026. It is now read-only.

Add precommit hook#2

Merged
hrfarmer merged 2 commits intomainfrom
precommit-hook
Mar 10, 2025
Merged

Add precommit hook#2
hrfarmer merged 2 commits intomainfrom
precommit-hook

Conversation

@hrfarmer
Copy link
Copy Markdown
Member

Runs same commands the CI GitHub Action currently runs, to attempt to prevent CI failures.

@hrfarmer hrfarmer merged commit 60bc09d into main Mar 10, 2025
3 checks passed
@hrfarmer hrfarmer deleted the precommit-hook branch March 10, 2025 22:34
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant