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 13 2024 at 01:02 UTC