I'm pleased to report that, despite the hiccups in getting this working, it seems to be working moderately well. Median time to minimize a development seems to be about 10--30 minutes (though there's the occasional development that takes 3 days to minimize). I think the current bottleneck in minimization support is something like https://github.com/coq/coq/issues/3171#issuecomment-864583488 to deal with https://github.com/coq/coq/issues/14529 (having a way to create a module with a user-defined path-component of the DirPath.t)
Last updated: Jun 09 2023 at 08:01 UTC