Hi folks,

I'm forwarding this perf regression from Coq users, as it seems interesting.

The relevant bit seems this zero-build data:

dune 3.14.0:  5.9s
dune 3.11.1:  3.3s
make 4.3:     0.6s 

That's almost 2 seconds so worth having a look IMHO.

Note that we identified a much worse performance regression while investigating this issue, see #10116