Stream: Coq devs & plugin devs

Topic: bench broken?

view this post on Zulip Gaëtan Gilbert (May 05 2021 at 17:55):

it seems the bench is failing in a strange way https://gitlab.com/coq/coq/-/jobs/1215188268

view this post on Zulip Pierre-Marie Pédrot (May 05 2021 at 17:56):

I think this was transient, it's not doing that anymore on recent runs.

Last updated: Oct 21 2021 at 21:03 UTC