Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
feat(pre-commit): add
ci
configurations (#6780)
This PR adds a `ci` argument to the `pre-commit-config` with a few properties to improve the overall configuration of pre-commit. This also enables future changes to the pre-commit CI system from the config file itself. --------- Co-authored-by: Matthias Fey <matthias.fey@tu-dortmund.de>
- Loading branch information