Stream: Coq devs & plugin devs

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


view this post on Zulip 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: May 18 2024 at 10:02 UTC