dune
dune copied to clipboard
consider changing the default value of `--error-reporting`
This is neither a bug report nor really a feature request at this point but more to start a discussion.
It seems that depending on the situation, switching --error-reporting
to deterministic
would be the expected thing to do. Some things that come to mind:
- CI in which the output can be fairly heavy
- Build of large projects
- Build of tests
There are some other situations during which it probably doesn't make sense. In a tight development loop I usually want to see the error as soon as possible to go back to the code and start a new iteration. But maybe we could assume that in this case --watch
should be used.
A possible starting point would be to have deterministic
when the environment variable CI
is present, which I believe is fairly universal way to detect if some code is running in a CI or not.