.pre-commit-config.yaml

ci:
  skip:
    - zizmor # pre-commit.ci doesn't have new enough Rust installed

repos:
  - repo: https://github.com/pre-commit/pre-commit-hooks
    rev: v5.0.0
    hooks:
      - id: check-json
      - id: check-toml
      - id: check-yaml
      - id: check-vcs-permalinks
      - id: end-of-file-fixer
      - id: mixed-line-ending
        args: [--fix, lf]
      - id: trailing-whitespace
  - repo: https://github.com/pre-commit/mirrors-prettier
    rev: "v4.0.0-alpha.8"
    hooks:
      - name: prettier
        id: prettier
        exclude: |
          (?x)^(
            vscode-lean/abbreviations.json|
            .*/lake-manifest.json
          )
  - repo: https://github.com/lunarmodules/luacheck
    rev: v1.2.0
    hooks:
      - id: luacheck
  - repo: https://github.com/JohnnyMorganz/StyLua
    rev: v0.20.0
    hooks:
      - id: stylua
        exclude: lua/lean/tui.lua
  - repo: https://github.com/DavidAnson/markdownlint-cli2
    rev: v0.15.0
    hooks:
      - id: markdownlint-cli2
  - repo: https://github.com/woodruffw/zizmor
    rev: v0.3.0
    hooks:
      - id: zizmor