Update pre-commit hooks to latest versions and fix issues

- Update pre-commit hooks: v5.0.0, black 25.1.0, isort 6.0.1, flake8 7.2.0
- Fix isort import ordering in lean_proof_env.py
- Fix flake8 F824 false positive in spatial_env.py with noqa comment
This commit is contained in:
Dakota 2025-06-04 10:58:37 -05:00
parent f3bbc6a42d
commit 55cdb83cbf
3 changed files with 10 additions and 6 deletions

View file

@ -1,6 +1,6 @@
repos:
- repo: https://github.com/pre-commit/pre-commit-hooks
rev: v4.5.0
rev: v5.0.0
hooks:
- id: trailing-whitespace
- id: end-of-file-fixer
@ -8,18 +8,18 @@ repos:
- id: check-added-large-files
- repo: https://github.com/psf/black
rev: 24.1.1
rev: 25.1.0
hooks:
- id: black
- repo: https://github.com/pycqa/isort
rev: 5.13.2
rev: 6.0.1
hooks:
- id: isort
args: ["--profile", "black", "--filter-files"]
- repo: https://github.com/pycqa/flake8
rev: 7.0.0
rev: 7.2.0
hooks:
- id: flake8
args: ["--max-line-length=120", "--extend-ignore=E203,W503"]