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