From a20eddfdd37f2468c9640daa80bb46350c1c0d7d Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sat, 14 Mar 2026 23:58:29 +0000 Subject: [PATCH] add pre commit hook --- .pre-commit-config.yaml | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 .pre-commit-config.yaml 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]