Stream: Coq devs & plugin devs

Topic: paramcoq ci doesn't like native compute?


view this post on Zulip Gaƫtan Gilbert (Feb 16 2021 at 21:57):

see eg https://gitlab.com/coq/coq/-/jobs/1034453824

view this post on Zulip Guillaume Melquiond (Feb 16 2021 at 22:28):

That is a strange failure. as is the kind of program that hardly needs memory.

view this post on Zulip Pierre Roux (Feb 17 2021 at 08:27):

Strange, what change made this appear? There were no recent change to paramcoq itself.

view this post on Zulip Guillaume Melquiond (Feb 17 2021 at 14:04):

It seems like it was a transient issue. Retrying the job succeeded.

view this post on Zulip Pierre Roux (Feb 17 2021 at 18:04):

ouf


Last updated: Oct 21 2021 at 20:02 UTC