see eg https://gitlab.com/coq/coq/-/jobs/1034453824
That is a strange failure.
as is the kind of program that hardly needs memory.
Strange, what change made this appear? There were no recent change to paramcoq itself.
It seems like it was a transient issue. Retrying the job succeeded.
Last updated: Oct 21 2021 at 20:02 UTC