Stream: Coq devs & plugin devs

Topic: paramcoq ci doesn't like native compute?

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: Oct 21 2021 at 20:02 UTC