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: Mar 29 2024 at 08:39 UTC