test: update tests

c-cube · Sep 9, 2024 · 797895c · 797895c
1 parent 7ddfa6c
commit 797895c
Show file tree

Hide file tree

Showing 3 changed files with 1,874 additions and 1,872 deletions.
diff --git a/Makefile b/Makefile
@@ -8,6 +8,8 @@ clean:
 
 test:
 	@dune runtest $(DUNE_OPTS)
+test-autopromote:
+	@dune runtest $(DUNE_OPTS) --auto-promote
 
 doc:
 	@dune build $(DUNE_OPTS) @doc