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: Dec 07 2023 at 17:01 UTC