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: May 31 2023 at 15:01 UTC