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 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: Oct 16 2021 at 09:07 UTC