Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Enforce pre-commit hooks on pull requests (#1636)
* Add pre-commit github action * dirty commit * Do not continue-on-error for pre-commit action * Revert "dirty commit" This reverts commit 973359f.
- Loading branch information