Commit graph

4 commits

Author SHA1 Message Date
Dakota
55cdb83cbf 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
2025-06-04 10:58:37 -05:00
Shannon Sands
8f08a398c0 linting 2025-05-27 15:46:10 +10:00
Shannon Sands
a353bb6eb1 linting 2025-05-27 15:45:07 +10:00
Shannon Sands
2efb690a24 linting, moved to community 2025-05-27 15:36:24 +10:00