add pre commit hook

This commit is contained in:
Simon Cruanes 2026-03-14 23:58:29 +00:00
parent aeae7c1039
commit a20eddfdd3

15
.pre-commit-config.yaml Normal file
View file

@ -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]