Stream: Coq devs & plugin devs

Topic: Auto CI Minimization

view this post on Zulip Jason Gross (Jun 21 2021 at 01:43):

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 to deal with (having a way to create a module with a user-defined path-component of the DirPath.t)

Last updated: Dec 06 2023 at 14:01 UTC