Stream: Coq devs & plugin devs

Topic: out of memory on paramcoq


view this post on Zulip Pierre-Marie Pédrot (Mar 12 2021 at 14:16):

It seems paracom regularly triggers OOM errors on the CI, e.g. last one I've seen https://github.com/coq/coq/pull/13920/checks?check_run_id=2095094859

view this post on Zulip Pierre-Marie Pédrot (Mar 12 2021 at 14:16):

Has somebody investigated this already?

view this post on Zulip Emilio Jesús Gallego Arias (Mar 12 2021 at 14:20):

This is due to native, not much to investigate other than indeed it takes a bit of mem

view this post on Zulip Pierre-Marie Pédrot (Mar 12 2021 at 14:23):

Oh right, I had missed that particular info.


Last updated: Oct 21 2021 at 20:02 UTC