Stream: Dune devs & users

Topic: dune install verbosity


view this post on Zulip Gaëtan Gilbert (Jun 08 2023 at 08:34):

Is there an option to make dune install less verbose? Our build logs are dominated by it, eg https://gitlab.com/coq/coq/-/jobs/4428386843
If there isn't I guess we can > /dev/null

view this post on Zulip Ali Caglayan (Jun 08 2023 at 11:43):

dune install will respect the --display option in 3.8: https://github.com/ocaml/dune/pull/7116

view this post on Zulip Ali Caglayan (Jun 08 2023 at 11:44):

If updating to 3.8 in the CI is not an option, then /dev/null is best as you said.


Last updated: May 25 2024 at 21:01 UTC