aboutsummaryrefslogtreecommitdiff
path: root/.pre-commit-config.yaml
blob: d8791c06f756f6f918d821973e41a421e985d49e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
# See https://pre-commit.com for more information
# See https://pre-commit.com/hooks.html for more hooks
exclude: '^(prover_snapshots)|(generated_definitions)|(c_emulator/SoftFloat-3e)'
minimum_pre_commit_version: 2.10.0
repos:
-   repo: https://github.com/pre-commit/pre-commit-hooks
    rev: v4.4.0
    hooks:
    -   id: trailing-whitespace
        # Do not strip trailing whitespace from patches or SVG images.
        # TODO: the objdump outputs should probably not be part of the repo.
        exclude: '.*\.(diff|dump|patch|svg)'
    -   id: end-of-file-fixer
        # Do not strip trailing newlines from patches or SVG images.
        # TODO: the objdump outputs should probably not be part of the repo.
        exclude: '.*\.(diff|dump|patch|svg)'
    -   id: check-yaml
    -   id: check-added-large-files
-   repo: https://github.com/pre-commit/mirrors-clang-format
    rev: 'v15.0.7'
    hooks:
    -   id: clang-format
        types_or: [c, c++]  # Don't try running clang-format on .json files