it seems the bench is failing in a strange way https://gitlab.com/coq/coq/-/jobs/1215188268
I think this was transient, it's not doing that anymore on recent runs.
Last updated: Feb 06 2023 at 00:03 UTC