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: Feb 01 2023 at 14:03 UTC