simon/moonpool
1
0
Fork 0
mirror of https://github.com/c-cube/moonpool.git synced 2026-05-06 01:14:43 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

detail

Browse source
This commit is contained in:
Simon Cruanes 2026-03-24 17:07:02 -04:00
parent 20f6d04318
commit 9f2c49dc4d
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Makefile
View file

@ -7,7 +7,7 @@ clean:
@dune clean @dune clean
test: test:
@dune runtest $(DUNE_OPTS) @dune runtest $(DUNE_OPTS) --no-buffer
test-autopromote: test-autopromote:
@dune runtest $(DUNE_OPTS) --auto-promote @dune runtest $(DUNE_OPTS) --auto-promote