.pre-commit-config.yaml

repos:
  - repo: https://github.com/pre-commit/pre-commit-hooks
    rev: v5.0.0
    hooks:
      - id: trailing-whitespace
      - id: end-of-file-fixer
        exclude: ^[art.bib|mkdocs]*
      - id: check-added-large-files
      - id: debug-statements
      - id: detect-private-key
  - repo: https://github.com/pycqa/isort
    rev: 5.13.2
    hooks:
      - id: isort
        name: isort (python)
        args: ["--profile", "black", "--filter-files"]
  - repo: local
    hooks:
      - id: ruff-format
        name: ruff format
        entry: poetry run ruff format mkdocs_juvix/
        language: system
        types: [python]
  - repo: local
    hooks:
      - id: snake_case_filenames
        name: snake_case_filenames
        entry: filenames must be lower
        language: fail
        files: '[^a-z0-9._/]'
        exclude: 'my-juvix-project/.*|src/fixtures/.*|.pre-commit.*|^overrides.*|^docs/(assets|images)/|^formal.*|.*Package.juvix.*|^\.github/.*|CITATION|LICENSE|Makefile|README\.md|VERSION'
  - repo: https://github.com/jumanjihouse/pre-commit-hooks
    rev: 3.0.0
    hooks:
      - id: forbid-binary
        exclude_types: [png]
        exclude: docs/assets/|docs/overrides/
  - repo: https://github.com/google/yamlfmt
    rev: v0.13.0
    hooks:
      - id: yamlfmt
        exclude: src/fixtures/.*