Gaëtan Gilbert (Feb 16 2021 at 21:57): Gaëtan Gilbert (Feb 16 2021 at 21:57):see eg https://gitlab.com/coq/coq/-/jobs/1034453824
Guillaume Melquiond (Feb 16 2021 at 22:28):That is a strange failure. as is the kind of program that hardly needs memory.
Pierre Roux (Feb 17 2021 at 08:27):Strange, what change made this appear? There were no recent change to paramcoq itself.
Guillaume Melquiond (Feb 17 2021 at 14:04):It seems like it was a transient issue. Retrying the job succeeded.
Pierre Roux (Feb 17 2021 at 18:04):ouf
Last updated: Dec 06 2023 at 13:01 UTC