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.
ouf
Last updated: Dec 06 2023 at 13:01 UTC