This commit is contained in:
Simon Cruanes 2026-03-15 04:27:58 +00:00
parent c5e7c11131
commit 588c128a55

View file

@ -30,6 +30,12 @@ test:
test-promote:
@dune runtest $(OPTS) --force --no-buffer --auto-promote
format:
@dune build @fmt --auto-promote
format-check:
@dune build @fmt --quiet
TESTOPTS ?= -j $(J) -c tests/benchpress.sexp --progress
TESTTOOL=benchpress
DATE=$(shell date +%FT%H:%M)