Is this a service that the coqdevs are interested in? I think the infrastructure to support it is nearly in place, and I've opened an issue about it at https://github.com/coq/bot/issues/107
(this = Autogenerating test-suite files from CI failures)
Yes yes yes, I absolutely want this.
Last updated: Feb 05 2023 at 20:03 UTC