diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml new file mode 100644 index 00000000..11ffee55 --- /dev/null +++ b/.pre-commit-config.yaml @@ -0,0 +1,15 @@ +repos: + - repo: local + hooks: + - id: dune-build-fmt + name: dune build @fmt + entry: dune build @fmt --auto-promote + pass_filenames: false + language: system + types: [text] + - id: dune-build-opam + name: dune build + entry: dune build @opam + pass_filenames: false + language: system + types: [text]