Dune 3.15.2
We just released version 3.15.2 with some bug fixes.
This one is particularly important for Coq users since it fixes a bug introduced in 3.13.0 that made incremental builds very slow.
See full changelog
Fixed
-
If no directory targets are defined, then do not evaluate
enabled_if(#10442, @rgrinberg) -
Fix a bug where Coq projects were being rebuilt from scratch each time the dependency graph changed. (#10446, fixes #10149, @alizter)