test: update tests

This commit is contained in:
Simon Cruanes 2024-09-09 15:25:01 -04:00
parent 7ddfa6c39f
commit 797895c193
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
3 changed files with 1874 additions and 1872 deletions

View file

@ -8,6 +8,8 @@ clean:
test: test:
@dune runtest $(DUNE_OPTS) @dune runtest $(DUNE_OPTS)
test-autopromote:
@dune runtest $(DUNE_OPTS) --auto-promote
doc: doc:
@dune build $(DUNE_OPTS) @doc @dune build $(DUNE_OPTS) @doc

File diff suppressed because it is too large Load diff

File diff suppressed because it is too large Load diff