Stream: Coq devs & plugin devs

Topic: Error: Native compiler failed with error: Cannot allocate me

Jason Gross (Sep 20 2023 at 21:54):

What's up with test-suite:base failing in https://github.com/coq/coq/pull/17934/checks?check_run_id=16939836471 / https://gitlab.inria.fr/coq/coq/-/jobs/3435603 ?

Last updated: Nov 29 2023 at 21:01 UTC