Stream: Coq devs & plugin devs

Topic: Autogenerating test-suite files from CI failures

view this post on Zulip Jason Gross (Sep 09 2020 at 16:34):

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

view this post on Zulip Jason Gross (Sep 09 2020 at 16:35):

(this = Autogenerating test-suite files from CI failures)

view this post on Zulip Théo Zimmermann (Sep 09 2020 at 17:23):

Yes yes yes, I absolutely want this.

Last updated: Nov 29 2023 at 17:01 UTC