From 990a1e6f69229a7db1311fe798c922f6fe42d194 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 16 Mar 2026 03:01:15 +0000 Subject: [PATCH] format --- Makefile | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/Makefile b/Makefile index 86c51c9d..d28f295a 100644 --- a/Makefile +++ b/Makefile @@ -27,6 +27,12 @@ clean: test: @dune runtest $(OPTS) --force --no-buffer +format: + @dune build @fmt --auto-promote + +format-check: + @dune build @fmt --quiet + test-promote: @dune runtest $(OPTS) --force --no-buffer --auto-promote