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
Has somebody investigated this already?
This is due to native, not much to investigate other than indeed it takes a bit of mem
Oh right, I had missed that particular info.
Last updated: Jun 08 2023 at 04:01 UTC