Stream: Dune devs & users

Topic: Silent builds


view this post on Zulip Emilio Jesús Gallego Arias (Jun 27 2022 at 11:57):

Silent builds is a must for many of us, we discussed making Coq more silent, but actually Dune has a flag that could help too

view this post on Zulip Emilio Jesús Gallego Arias (Jun 27 2022 at 11:57):

We have two sources of noise:

view this post on Zulip Emilio Jesús Gallego Arias (Jun 27 2022 at 11:57):

the first can only be handled by properly fixing the warnings or ignoring them in the build ef

view this post on Zulip Emilio Jesús Gallego Arias (Jun 27 2022 at 11:58):

the second could be handled by Coq, or now also by Dune's new stdout flag

view this post on Zulip Emilio Jesús Gallego Arias (Jun 27 2022 at 11:58):

I will try that in Coq universe


Last updated: Oct 13 2024 at 01:02 UTC