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
We have two sources of noise:
the first can only be handled by properly fixing the warnings or ignoring them in the build ef
the second could be handled by Coq, or now also by Dune's new stdout flag
I will try that in Coq universe
Last updated: Oct 13 2024 at 01:02 UTC